Ideas.Common.Environment

References, bindings, and heterogenous environments

Reference

data Ref a

A data type for references (without a value)

Instances

Eq (Ref a)

Show (Ref a)

HasId (Ref a)

class (IsTerm a, Typeable a, Show a, Read a) => Reference a where

A type class for types as references

Methods

makeRef :: IsId n => n -> Ref a

makeRefList :: IsId n => n -> Ref [a]

Instances

Reference Char

Reference Int

Reference Term

Reference a => Reference [a]

(Reference a, Reference b) => Reference (a, b)

Binding

data Binding

Instances

Eq Binding

Show Binding

HasId Binding

makeBinding :: Typeable a => Ref a -> a -> Binding

fromBinding :: Typeable a => Binding -> Maybe (Ref a, a)

showValue :: Binding -> String

getTermValue :: Binding -> Term

Heterogeneous environment

data Environment

Instances

Eq Environment

Show Environment

Monoid Environment

HasRefs Environment

HasEnvironment Environment

Typed a Environment

makeEnvironment :: [Binding] -> Environment

singleBinding :: Typeable a => Ref a -> a -> Environment

class HasEnvironment env where

Methods

environment :: env -> Environment

setEnvironment :: Environment -> env -> env

deleteRef :: Ref a -> env -> env

insertRef :: Typeable a => Ref a -> a -> env -> env

changeRef :: Typeable a => Ref a -> (a -> a) -> env -> env

Instances

HasEnvironment Environment

HasEnvironment (Context a)

HasEnvironment (State a)

class HasRefs a where

Methods

getRefs :: a -> [Some Ref]

allRefs :: a -> [Some Ref]

getRefIds :: a -> [Id]

Instances

HasRefs Environment

HasRefs (Recognizer a)

HasRefs (Rule a)

HasRefs (Trans a b)

bindings :: HasEnvironment env => env -> [Binding]

noBindings :: HasEnvironment env => env -> Bool

(?) :: (HasEnvironment env, Typeable a) => Ref a -> env -> Maybe a