| Safe Haskell | Safe-Inferred | 
|---|---|
| Language | Haskell2010 | 
Language.Drasil.Synonyms
Description
Parameterized types, at times, deserve their own names.
Synopsis
- type ConstQDef = QDefinition Literal
 - type SimpleQDef = QDefinition Expr
 - type ModelQDef = QDefinition ModelExpr
 - type PExpr = forall r. (ExprC r, LiteralC r) => r
 
Documentation
type ConstQDef = QDefinition Literal Source #
Commonly used type for QDefinitions containing Literals.
type SimpleQDef = QDefinition Expr Source #
Commonly used type for QDefinitions containing Exprs.
type ModelQDef = QDefinition ModelExpr Source #
Commonly used type for QDefinitions containing ModelExprs.