typoggers-lang-0.1.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Checker

Documentation

data TypeValue Source #

Instances

Instances details
Show TypeValue Source # 
Instance details

Defined in Checker

Methods

showsPrec :: Int -> TypeValue -> ShowS #

show :: TypeValue -> String #

showList :: [TypeValue] -> ShowS #

Eq TypeValue Source # 
Instance details

Defined in Checker

Methods

(==) :: TypeValue -> TypeValue -> Bool #

(/=) :: TypeValue -> TypeValue -> Bool #

checker :: SExpr -> Either String TypeValue Source #