hydra-0.1.0: Type-aware transformations for data and functional programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hydra.Lib.Io

Documentation

showTerm :: Ord m => Term m -> String Source #

showType :: Ord m => Type m -> String Source #

coreContext :: Context Meta Source #