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

Hydra.Lib.Io

Description

Tier-1 library which provides Haskell implementations of hydralibio primitives.

Documentation

showTerm :: Term -> String Source #

showType :: Type -> String Source #