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

Hydra.CoreDecoding

Description

Decoding of encoded types (as terms) back to types according to LambdaGraph's epsilon encoding

Synopsis

Documentation

fullyStripTerm :: Term -> Term Source #

Strip all annotations from a term, including first-class type annotations

moduleDependencyNamespaces :: Bool -> Bool -> Bool -> Bool -> Module -> Flow Graph (Set Namespace) Source #

Find dependency namespaces in various dimensions of a term: va