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

Safe Haskell	None

CSPM.Evaluator.PatBind

Documentation

class Bindable a whereSource

Methods

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

Instances

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

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