Cryptol.TypeCheck.TypeMap

Documentation

data TypeMap a

Constructors

TM

Fields

tvar :: Map TVar a

tcon :: Map TCon (List TypeMap a)

trec :: Map [Name] (List TypeMap a)

Instances

Functor TypeMap

TrieMap TypeMap Type

Show a => Show (TypeMap a)

TVars a => TVars (TypeMap a)

type TypesMap = List TypeMap

class TrieMap m k | m -> k where

Methods

emptyTM :: m a

nullTM :: m a -> Bool

lookupTM :: k -> m a -> Maybe a

alterTM :: k -> (Maybe a -> Maybe a) -> m a -> m a

unionTM :: (a -> a -> a) -> m a -> m a -> m a

toListTM :: m a -> [(k, a)]

mapMaybeWithKeyTM :: (k -> a -> Maybe b) -> m a -> m b

Instances

TrieMap TypeMap Type

Ord a => TrieMap (Map a) a

TrieMap m a => TrieMap (List m) [a]

insertTM :: TrieMap m k => k -> a -> m a -> m a

insertWithTM :: TrieMap m k => (a -> a -> a) -> k -> a -> m a -> m a

membersTM :: TrieMap m k => m a -> [a]

mapTM :: TrieMap m k => (a -> b) -> m a -> m b

mapWithKeyTM :: TrieMap m k => (k -> a -> b) -> m a -> m b

mapMaybeTM :: TrieMap m k => (a -> Maybe b) -> m a -> m b

data List m a

Constructors

L

Fields

nil :: Maybe a

cons :: m (List m a)

Instances

Functor m => Functor (List m)

TrieMap m a => TrieMap (List m) [a]

(Functor m, TVars a) => TVars (List m a)