Maintainer	bastiaan.heeren@ou.nl
Stability	provisional
Portability	portable (depends on ghc)
Safe Haskell	None
Language	Haskell98

Ideas.Common.Environment

Contents

Reference
Binding
Heterogeneous environment

Description

References, bindings, and heterogenous environments

Synopsis

Reference

data Ref a Source

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 Source

A type class for types as references

Minimal complete definition

Nothing

Methods

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

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

Instances

Reference Char
Reference Int
Reference Term
Reference a => Reference [a]
(Reference a, Reference b) => Reference (a, b)

Binding

data Binding Source

Instances

Eq Binding
Show Binding
HasId Binding

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

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

showValue :: Binding -> String Source

getTermValue :: Binding -> Term Source

Heterogeneous environment

data Environment Source

Instances

Eq Environment
Show Environment
Monoid Environment
HasRefs Environment
HasEnvironment Environment

makeEnvironment :: [Binding] -> Environment Source

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

class HasEnvironment env where Source

Minimal complete definition

environment, setEnvironment

Methods

environment :: env -> Environment Source

setEnvironment :: Environment -> env -> env Source

deleteRef :: Ref a -> env -> env Source

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

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

Instances

HasEnvironment Environment
HasEnvironment (Context a)
HasEnvironment (State a)

class HasRefs a where Source

Minimal complete definition

allRefs

Methods

getRefs :: a -> [Some Ref] Source

allRefs :: a -> [Some Ref] Source

getRefIds :: a -> [Id] Source

Instances

HasRefs Environment
HasRefs (Recognizer a)
HasRefs (Rule a)
HasRefs (Trans a b)

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

noBindings :: HasEnvironment env => env -> Bool Source

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