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

Hydra.Tier2

Description

A module for miscellaneous tier-2 functions and constants.

Synopsis

Documentation

getState :: Flow s s Source #

Get the state of the current flow

getTermType :: Term -> Maybe Type Source #

Get the annotated type of a given term, if any

putState :: s -> Flow s () Source #

Set the state of a flow

requireElementType :: Element -> Flow Graph Type Source #

Get the annotated type of a given element, or fail if it is missing

requireTermType :: Term -> Flow Graph Type Source #

Get the annotated type of a given term, or fail if it is missing

unexpected :: String -> String -> Flow s x Source #

Fail if an actual value does not match an expected value