kempe-0.1.1.0: Kempe compiler
Safe HaskellNone
LanguageHaskell2010

Kempe.Check.TopLevel

Documentation

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

data Warning a Source #

Instances

Instances details
Pretty a => Show (Warning a) Source # 
Instance details

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) Source # 
Instance details

Defined in Kempe.Check.TopLevel

Methods

toException :: Warning a -> SomeException #

fromException :: SomeException -> Maybe (Warning a) #

displayException :: Warning a -> String #

Pretty a => Pretty (Warning a) Source # 
Instance details

Defined in Kempe.Check.TopLevel

Methods

pretty :: Warning a -> Doc ann

prettyList :: [Warning a] -> Doc ann