libcspm-0.1.2: A library providing a parser, type checker and evaluator for CSPM.

CSPM.Evaluator.PatBind

Documentation

class Bindable a whereSource

Methods

bind :: a -> Value -> EvaluationMonad (Bool, [(Name, Value)])Source

Instances

Bindable Pat
Bindable a => Bindable (Annotated b a)

bindAll :: Bindable a => [a] -> [Value] -> EvaluationMonad (Bool, [(Name, Value)])Source