Kempe.Check.TopLevel

Documentation

topLevelCheck :: Declarations a c a -> Maybe (Warning a)

data Warning a

Instances

Pretty a => Show (Warning a)

Defined in Kempe.Check.TopLevel

Methods

showsPrec :: Int -> Warning a -> ShowS

show :: Warning a -> String

showList :: [Warning a] -> ShowS

(Pretty a, Typeable a) => Exception (Warning a)

Defined in Kempe.Check.TopLevel

Methods

toException :: Warning a -> SomeException

fromException :: SomeException -> Maybe (Warning a)

displayException :: Warning a -> String

Pretty a => Pretty (Warning a)

Defined in Kempe.Check.TopLevel

Methods

pretty :: Warning a -> Doc ann

prettyList :: [Warning a] -> Doc ann