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

Hydra.Lib.Io

Description

Haskell implementations of hydralibio primitives

Documentation

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

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

coreContext :: Context Meta Source #