type-machine-0.1.0.1: Type-level functions for record types

Safe Haskell	None
Language	Haskell2010

TypeMachine.Log

Contents

Common Log messages
Formatting

Synopsis

type TypeMachineLog = String
fieldNotInType :: String -> TypeMachineLog
emptyResultType :: TypeMachineLog
fieldNotOptional :: String -> TypeMachineLog
duplicateKey :: TypeMachineLog
noTypeParameter :: TypeMachineLog
formatLog :: TypeMachineLog -> String

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