Ideas.Common.Environment

References, bindings, and heterogenous environments

Reference

data Ref a

A data type for references (without a value)

Instances

HasTypeable Ref

Defined in Ideas.Common.Environment

Methods

getTypeable :: Ref a -> Maybe (IsTypeable a)

Eq (Ref a)

Defined in Ideas.Common.Environment

Methods

(==) :: Ref a -> Ref a -> Bool

(/=) :: Ref a -> Ref a -> Bool

Show (Ref a)

Defined in Ideas.Common.Environment

Methods

showsPrec :: Int -> Ref a -> ShowS

show :: Ref a -> String

showList :: [Ref a] -> ShowS

HasId (Ref a)

Defined in Ideas.Common.Environment

Methods

getId :: Ref a -> Id

changeId :: (Id -> Id) -> Ref a -> 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

Defined in Ideas.Common.Environment

Methods

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

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

Reference Int

Defined in Ideas.Common.Environment

Methods

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

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

Reference ShowString

Defined in Ideas.Common.Environment

Methods

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

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

Reference Term

Defined in Ideas.Common.Environment

Methods

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

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

Reference a => Reference [a]

Defined in Ideas.Common.Environment

Methods

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

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

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

Defined in Ideas.Common.Environment

Methods

makeRef :: IsId n => n -> Ref (a, b)

makeRefList :: IsId n => n -> Ref [(a, b)]

mapRef :: Typeable b => Isomorphism a b -> Ref a -> Ref b

Binding

data Binding

Instances

Eq Binding

Defined in Ideas.Common.Environment

Methods

(==) :: Binding -> Binding -> Bool

(/=) :: Binding -> Binding -> Bool

Show Binding

Defined in Ideas.Common.Environment

Methods

showsPrec :: Int -> Binding -> ShowS

show :: Binding -> String

showList :: [Binding] -> ShowS

HasId Binding

Defined in Ideas.Common.Environment

Methods

getId :: Binding -> Id

changeId :: (Id -> Id) -> Binding -> Binding

makeBinding :: 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

Defined in Ideas.Common.Environment

Methods

(==) :: Environment -> Environment -> Bool

(/=) :: Environment -> Environment -> Bool

Show Environment

Defined in Ideas.Common.Environment

Methods

showsPrec :: Int -> Environment -> ShowS

show :: Environment -> String

showList :: [Environment] -> ShowS

Semigroup Environment

Defined in Ideas.Common.Environment

Methods

(<>) :: Environment -> Environment -> Environment

sconcat :: NonEmpty Environment -> Environment

stimes :: Integral b => b -> Environment -> Environment

Monoid Environment

Defined in Ideas.Common.Environment

Methods

mempty :: Environment

mappend :: Environment -> Environment -> Environment

mconcat :: [Environment] -> Environment

HasRefs Environment

Defined in Ideas.Common.Environment

Methods

getRefs :: Environment -> [Some Ref]

allRefs :: Environment -> [Some Ref]

getRefIds :: Environment -> [Id]

HasEnvironment Environment

Defined in Ideas.Common.Environment

Methods

environment :: Environment -> Environment

setEnvironment :: Environment -> Environment -> Environment

deleteRef :: Ref a -> Environment -> Environment

insertRef :: Ref a -> a -> Environment -> Environment

changeRef :: Ref a -> (a -> a) -> Environment -> Environment

makeEnvironment :: [Binding] -> Environment

singleBinding :: Ref a -> a -> Environment

class HasEnvironment env where

Minimal complete definition

environment, setEnvironment

Methods

environment :: env -> Environment

setEnvironment :: Environment -> env -> env

deleteRef :: Ref a -> env -> env

insertRef :: Ref a -> a -> env -> env

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

Instances

HasEnvironment Environment

Defined in Ideas.Common.Environment

Methods

environment :: Environment -> Environment

setEnvironment :: Environment -> Environment -> Environment

deleteRef :: Ref a -> Environment -> Environment

insertRef :: Ref a -> a -> Environment -> Environment

changeRef :: Ref a -> (a -> a) -> Environment -> Environment

HasEnvironment (Context a)

Defined in Ideas.Common.Context

Methods

environment :: Context a -> Environment

setEnvironment :: Environment -> Context a -> Context a

deleteRef :: Ref a0 -> Context a -> Context a

insertRef :: Ref a0 -> a0 -> Context a -> Context a

changeRef :: Ref a0 -> (a0 -> a0) -> Context a -> Context a

HasEnvironment (State a)

Defined in Ideas.Service.State

Methods

environment :: State a -> Environment

setEnvironment :: Environment -> State a -> State a

deleteRef :: Ref a0 -> State a -> State a

insertRef :: Ref a0 -> a0 -> State a -> State a

changeRef :: Ref a0 -> (a0 -> a0) -> State a -> State a

class HasRefs a where

Minimal complete definition

allRefs

Methods

getRefs :: a -> [Some Ref]

allRefs :: a -> [Some Ref]

getRefIds :: a -> [Id]

Instances

HasRefs Environment

Defined in Ideas.Common.Environment

Methods

getRefs :: Environment -> [Some Ref]

allRefs :: Environment -> [Some Ref]

getRefIds :: Environment -> [Id]

HasRefs (Recognizer a)

Defined in Ideas.Common.Rule.Recognizer

Methods

getRefs :: Recognizer a -> [Some Ref]

allRefs :: Recognizer a -> [Some Ref]

getRefIds :: Recognizer a -> [Id]

HasRefs (Rule a)

Defined in Ideas.Common.Rule.Abstract

Methods

getRefs :: Rule a -> [Some Ref]

allRefs :: Rule a -> [Some Ref]

getRefIds :: Rule a -> [Id]

HasRefs (Trans a b)

Defined in Ideas.Common.Rule.Transformation

Methods

getRefs :: Trans a b -> [Some Ref]

allRefs :: Trans a b -> [Some Ref]

getRefIds :: Trans a b -> [Id]

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

noBindings :: HasEnvironment env => env -> Bool

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