Morte.Context

All Context-related operations

Context

data Context a

Bound variable names and their types

Variable names may appear more than once in the Context. The Var x@n refers to the nth occurrence of x in the Context (using 0-based numbering).

Instances

Functor Context

NFData a => NFData (Context a)

empty :: Context a

An empty context with no key-value pairs

toList empty = []

insert :: Text -> a -> Context a -> Context a

Add a key-value pair to the Context

lookup :: Text -> Int -> Context a -> Maybe a

Lookup a key by name and index

lookup k 0 (insert k v0              ctx ) = Just v0
lookup k 1 (insert k v0 (insert k v1 ctx)) = Just v1

toList :: Context a -> [(Text, a)]

Return all key-value associations as a list