Safe Haskell | None |
---|---|
Language | Haskell2010 |
Term
Documentation
Constructors
TeExpression Expression | |
TeAttribute Attribute | |
TeBytes Bytes | |
TeBindings [Binding] |
type BuildTermMethod = [ExtraArgument] -> Subst -> Program -> IO Term Source #
type BuildTermFunc = String -> BuildTermMethod Source #