syntactic-1.17: Generic abstract syntax, and utilities for embedded languages

Safe Haskell	None
Language	Haskell2010

Language.Syntactic.Constructs.Condition

Description

Conditional expressions

Documentation

data Condition sig where Source #

Constructors

Condition :: Condition (Bool :-> (a :-> (a :-> Full a)))

Instances

Semantic Condition Source #
Instance details Defined in Language.Syntactic.Constructs.Condition Methods semantics :: Condition a -> Semantics a Source #
StringTree Condition Source #
Instance details Defined in Language.Syntactic.Constructs.Condition Methods stringTreeSym :: [Tree String] -> Condition a -> Tree String Source #
Render Condition Source #
Instance details Defined in Language.Syntactic.Constructs.Condition Methods renderSym :: Condition sig -> String Source # renderArgs :: [String] -> Condition sig -> String Source #
Eval Condition Source #
Instance details Defined in Language.Syntactic.Constructs.Condition Methods evaluate :: Condition a -> Denotation a Source #
Equality Condition Source #
Instance details Defined in Language.Syntactic.Constructs.Condition Methods equal :: Condition a -> Condition b -> Bool Source # exprHash :: Condition a -> Hash Source #
Constrained Condition Source #
Instance details Defined in Language.Syntactic.Constructs.Condition Associated Types type Sat Condition :: * -> Constraint Source # Methods exprDict :: Condition a -> Dict (Sat Condition (DenResult a)) Source #
EvalBind Condition Source #
Instance details Defined in Language.Syntactic.Constructs.Binding Methods evalBindSym :: (EvalBind dom, ConstrainedBy dom Typeable, Typeable (DenResult sig)) => Condition sig -> Args (AST dom) sig -> Reader [(VarId, Dynamic)] (DenResult sig) Source #
Optimize Condition Source #
Instance details Defined in Language.Syntactic.Constructs.Binding.Optimize Methods optimizeSym :: Optimize' dom => ConstFolder dom -> (Condition sig -> AST dom sig) -> Condition sig -> Args (AST dom) sig -> Writer (Set VarId) (ASTF dom (DenResult sig)) Source #
AlphaEq dom dom dom env => AlphaEq Condition Condition dom env Source #
Instance details Defined in Language.Syntactic.Constructs.Binding Methods alphaEqSym :: Condition a -> Args (AST dom) a -> Condition b -> Args (AST dom) b -> Reader env Bool Source #
type Sat Condition Source #
Instance details Defined in Language.Syntactic.Constructs.Condition type Sat Condition = Top