tip-lib-0.2.2: tons of inductive problems - support library and tools

Safe HaskellNone
LanguageHaskell2010

Tip.WorkerWrapper

Documentation

data WorkerWrapper a Source

Constructors

WorkerWrapper 

Fields

ww_func :: Function a

The function to transform

ww_args :: [Local a]

New function argument type

ww_res :: Type a

New function result type

ww_def :: Expr a -> Expr a

Transform function body

ww_use :: Head a -> [Expr a] -> Fresh (Expr a)

Transform call to function

workerWrapperTheory :: Name a => (Theory a -> Fresh [WorkerWrapper a]) -> Theory a -> Fresh (Theory a) Source

workerWrapperFunctions :: Name a => (Function a -> Maybe (Fresh (WorkerWrapper a))) -> Theory a -> Fresh (Theory a) Source

workerWrapper :: Name a => [WorkerWrapper a] -> Theory a -> Fresh (Theory a) Source