type-machine-0.1.0.2: Type-level functions for record types
Safe HaskellNone
LanguageHaskell2010

TypeMachine.Log

Synopsis

Documentation

type TypeMachineLog = String Source #

Common Log messages

fieldNotInType :: String -> TypeMachineLog Source #

emptyResultType :: TypeMachineLog Source #

fieldNotOptional :: String -> TypeMachineLog Source #

duplicateKey :: TypeMachineLog Source #

noTypeParameter :: TypeMachineLog Source #

Formatting

formatLog :: TypeMachineLog -> String Source #

Format a log message, to be printed to the user