Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data GeneralOp op t a where Source #
Instances
class EvalOpAt k op where Source #
Instances
EvalOpAt Identity WhileOpKind Source # | |
Defined in Language.While.Syntax | |
EvalOpAt SBV WhileOpKind Source # | |
Defined in Language.While.Syntax |
class PrettyOp op where Source #
Instances
PrettyOp WhileOpKind Source # | |
Defined in Language.While.Syntax prettysPrecOp :: Pretty1 t => Int -> WhileOpKind as a -> Rec t as -> ShowS Source # |