Jacinda.Check.Field

Documentation

cF :: E T -> Maybe LErr

data LErr

Constructors

NF (E T)

TS (E T)

RS (E T)

Instances

Exception LErr

Defined in Jacinda.Check.Field

Methods

toException :: LErr -> SomeException

fromException :: SomeException -> Maybe LErr

displayException :: LErr -> String

backtraceDesired :: LErr -> Bool

Show LErr

Defined in Jacinda.Check.Field

Methods

showsPrec :: Int -> LErr -> ShowS

show :: LErr -> String

showList :: [LErr] -> ShowS

Pretty LErr

Defined in Jacinda.Check.Field

Methods

pretty :: LErr -> Doc ann

prettyList :: [LErr] -> Doc ann