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) Source
Show (Ref a) Source
HasId (Ref a) Source

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 Source
Reference Int Source
Reference ShowString Source
Reference Term Source
Reference a => Reference [a] Source
(Reference a, Reference b) => Reference (a, b) Source

Binding

data Binding Source

Instances

Eq Binding Source
Show Binding Source
HasId Binding Source

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 Source
Show Environment Source
Monoid Environment Source
HasRefs Environment Source
HasEnvironment Environment Source

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 Source
HasEnvironment (Context a) Source
HasEnvironment (State a) Source

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 Source
HasRefs (Recognizer a) Source
HasRefs (Rule a) Source
HasRefs (Trans a b) Source

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

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

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