Cryptol.TypeCheck.TypeMap

Documentation

data TypeMap a

Constructors

TM

Fields

• tvar :: Map TVar a
• tcon :: Map TCon (List TypeMap a)
• trec :: Map [Ident] (List TypeMap a)

Instances

Functor TypeMap

Defined in Cryptol.TypeCheck.TypeMap

Methods

fmap :: (a -> b) -> TypeMap a -> TypeMap b

(<$) :: a -> TypeMap b -> TypeMap a

Foldable TypeMap

Defined in Cryptol.TypeCheck.TypeMap

Methods

fold :: Monoid m => TypeMap m -> m

foldMap :: Monoid m => (a -> m) -> TypeMap a -> m

foldMap' :: Monoid m => (a -> m) -> TypeMap a -> m

foldr :: (a -> b -> b) -> b -> TypeMap a -> b

foldr' :: (a -> b -> b) -> b -> TypeMap a -> b

foldl :: (b -> a -> b) -> b -> TypeMap a -> b

foldl' :: (b -> a -> b) -> b -> TypeMap a -> b

foldr1 :: (a -> a -> a) -> TypeMap a -> a

foldl1 :: (a -> a -> a) -> TypeMap a -> a

toList :: TypeMap a -> [a]

null :: TypeMap a -> Bool

length :: TypeMap a -> Int

elem :: Eq a => a -> TypeMap a -> Bool

maximum :: Ord a => TypeMap a -> a

minimum :: Ord a => TypeMap a -> a

sum :: Num a => TypeMap a -> a

product :: Num a => TypeMap a -> a

Traversable TypeMap

Defined in Cryptol.TypeCheck.TypeMap

Methods

traverse :: Applicative f => (a -> f b) -> TypeMap a -> f (TypeMap b)

sequenceA :: Applicative f => TypeMap (f a) -> f (TypeMap a)

mapM :: Monad m => (a -> m b) -> TypeMap a -> m (TypeMap b)

sequence :: Monad m => TypeMap (m a) -> m (TypeMap a)

TrieMap TypeMap Type

Defined in Cryptol.TypeCheck.TypeMap

Methods

emptyTM :: TypeMap a

nullTM :: TypeMap a -> Bool

lookupTM :: Type -> TypeMap a -> Maybe a

alterTM :: Type -> (Maybe a -> Maybe a) -> TypeMap a -> TypeMap a

unionTM :: (a -> a -> a) -> TypeMap a -> TypeMap a -> TypeMap a

toListTM :: TypeMap a -> [(Type, a)]

mapMaybeWithKeyTM :: (Type -> a -> Maybe b) -> TypeMap a -> TypeMap b

Show a => Show (TypeMap a)

Defined in Cryptol.TypeCheck.TypeMap

Methods

showsPrec :: Int -> TypeMap a -> ShowS

show :: TypeMap a -> String

showList :: [TypeMap a] -> ShowS

TVars a => TVars (TypeMap a)

Defined in Cryptol.TypeCheck.Subst

Methods

apSubst :: Subst -> TypeMap a -> 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

Defined in Cryptol.TypeCheck.TypeMap

Methods

emptyTM :: TypeMap a

nullTM :: TypeMap a -> Bool

lookupTM :: Type -> TypeMap a -> Maybe a

alterTM :: Type -> (Maybe a -> Maybe a) -> TypeMap a -> TypeMap a

unionTM :: (a -> a -> a) -> TypeMap a -> TypeMap a -> TypeMap a

toListTM :: TypeMap a -> [(Type, a)]

mapMaybeWithKeyTM :: (Type -> a -> Maybe b) -> TypeMap a -> TypeMap b

Ord a => TrieMap (Map a) a

Defined in Cryptol.TypeCheck.TypeMap

Methods

emptyTM :: Map a a0

nullTM :: Map a a0 -> Bool

lookupTM :: a -> Map a a0 -> Maybe a0

alterTM :: a -> (Maybe a0 -> Maybe a0) -> Map a a0 -> Map a a0

unionTM :: (a0 -> a0 -> a0) -> Map a a0 -> Map a a0 -> Map a a0

toListTM :: Map a a0 -> [(a, a0)]

mapMaybeWithKeyTM :: (a -> a0 -> Maybe b) -> Map a a0 -> Map a b

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

Defined in Cryptol.TypeCheck.TypeMap

Methods

emptyTM :: List m a0

nullTM :: List m a0 -> Bool

lookupTM :: [a] -> List m a0 -> Maybe a0

alterTM :: [a] -> (Maybe a0 -> Maybe a0) -> List m a0 -> List m a0

unionTM :: (a0 -> a0 -> a0) -> List m a0 -> List m a0 -> List m a0

toListTM :: List m a0 -> [([a], a0)]

mapMaybeWithKeyTM :: ([a] -> a0 -> Maybe b) -> List m a0 -> List m b

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)

Defined in Cryptol.TypeCheck.TypeMap

Methods

fmap :: (a -> b) -> List m a -> List m b

(<$) :: a -> List m b -> List m a

Foldable m => Foldable (List m)

Defined in Cryptol.TypeCheck.TypeMap

Methods

fold :: Monoid m0 => List m m0 -> m0

foldMap :: Monoid m0 => (a -> m0) -> List m a -> m0

foldMap' :: Monoid m0 => (a -> m0) -> List m a -> m0

foldr :: (a -> b -> b) -> b -> List m a -> b

foldr' :: (a -> b -> b) -> b -> List m a -> b

foldl :: (b -> a -> b) -> b -> List m a -> b

foldl' :: (b -> a -> b) -> b -> List m a -> b

foldr1 :: (a -> a -> a) -> List m a -> a

foldl1 :: (a -> a -> a) -> List m a -> a

toList :: List m a -> [a]

null :: List m a -> Bool

length :: List m a -> Int

elem :: Eq a => a -> List m a -> Bool

maximum :: Ord a => List m a -> a

minimum :: Ord a => List m a -> a

sum :: Num a => List m a -> a

product :: Num a => List m a -> a

Traversable m => Traversable (List m)

Defined in Cryptol.TypeCheck.TypeMap

Methods

traverse :: Applicative f => (a -> f b) -> List m a -> f (List m b)

sequenceA :: Applicative f => List m (f a) -> f (List m a)

mapM :: Monad m0 => (a -> m0 b) -> List m a -> m0 (List m b)

sequence :: Monad m0 => List m (m0 a) -> m0 (List m a)

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

Defined in Cryptol.TypeCheck.TypeMap

Methods

emptyTM :: List m a0

nullTM :: List m a0 -> Bool

lookupTM :: [a] -> List m a0 -> Maybe a0

alterTM :: [a] -> (Maybe a0 -> Maybe a0) -> List m a0 -> List m a0

unionTM :: (a0 -> a0 -> a0) -> List m a0 -> List m a0 -> List m a0

toListTM :: List m a0 -> [([a], a0)]

mapMaybeWithKeyTM :: ([a] -> a0 -> Maybe b) -> List m a0 -> List m b

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

Defined in Cryptol.TypeCheck.Subst

Methods

apSubst :: Subst -> List m a -> List m a