MatchSigs.Sig

Documentation

type FreeVarIdx = Int

data Sig varIx

The internal representation of a type. Function types are represented as a linked list with the init elems being the context followed by arguments of the function and the last being the result type.

Constructors

TyDescriptor !ByteString !(Maybe Name)

FreeVar !varIx

Arg ![Sig varIx]

Qual ![Sig varIx]

Apply ![Sig varIx] ![[Sig varIx]]

VarCtx ![varIx]

Tuple ![[Sig varIx]]

KindSig ![Sig varIx] ![Sig varIx]

Instances

Foldable Sig

Defined in MatchSigs.Sig

Methods

fold :: Monoid m => Sig m -> m

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

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

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

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

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

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

foldr1 :: (a -> a -> a) -> Sig a -> a

foldl1 :: (a -> a -> a) -> Sig a -> a

toList :: Sig a -> [a]

null :: Sig a -> Bool

length :: Sig a -> Int

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

maximum :: Ord a => Sig a -> a

minimum :: Ord a => Sig a -> a

sum :: Num a => Sig a -> a

product :: Num a => Sig a -> a

Functor Sig

Defined in MatchSigs.Sig

Methods

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

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

Show varIx => Show (Sig varIx)

Defined in MatchSigs.Sig

Methods

showsPrec :: Int -> Sig varIx -> ShowS

show :: Sig varIx -> String

showList :: [Sig varIx] -> ShowS

Eq varIx => Eq (Sig varIx)

Defined in MatchSigs.Sig

Methods

(==) :: Sig varIx -> Sig varIx -> Bool

(/=) :: Sig varIx -> Sig varIx -> Bool

Ord varIx => Ord (Sig varIx)

Defined in MatchSigs.Sig

Methods

compare :: Sig varIx -> Sig varIx -> Ordering

(<) :: Sig varIx -> Sig varIx -> Bool

(<=) :: Sig varIx -> Sig varIx -> Bool

(>) :: Sig varIx -> Sig varIx -> Bool

(>=) :: Sig varIx -> Sig varIx -> Bool

max :: Sig varIx -> Sig varIx -> Sig varIx

min :: Sig varIx -> Sig varIx -> Sig varIx

sigsFromHie :: HieAST a -> Map Name [Sig FreeVarIdx]

Produce a Map from function Names to their type signature's internal representation.

sigFingerprint :: [Sig a] -> [Sig ()]

Used to produce an orderable key for matching up signatures that are likely to be equivalent. To allow for this, free vars must be homogenized which is what void does here.

isQual :: Sig a -> Bool