DDC.Core.Collect.Support

Documentation

data Support n

Constructors

Support

Fields

• supportTyCon :: Set (Bound n)

  Type constructors used in the expression.

• supportTyConXArg :: Set (Bound n)

  Type constructors used in the argument of a value-type application.

• supportSpVar :: Set (Bound n)

  Free spec variables in an expression.

• supportSpVarXArg :: Set (Bound n)

  Type constructors used in the argument of a value-type application.

• supportWiVar :: Set (Bound n)

  Free witness variables in an expression. (from the Witness universe)

• supportDaVar :: Set (Bound n)

  Free value variables in an expression. (from the Data universe)

Instances

Show n => Show (Support n)

Methods

showsPrec :: Int -> Support n -> ShowS

show :: Support n -> String

showList :: [Support n] -> ShowS

Ord n => Monoid (Support n)

Methods

mempty :: Support n

mappend :: Support n -> Support n -> Support n

mconcat :: [Support n] -> Support n

class SupportX c where

Minimal complete definition

support

Methods

support :: Ord n => KindEnv n -> TypeEnv n -> c n -> Support n

Instances

SupportX Type

Methods

support :: Ord n => KindEnv n -> TypeEnv n -> Type n -> Support n

SupportX Bind

Methods

support :: Ord n => KindEnv n -> TypeEnv n -> Bind n -> Support n

SupportX (Witness a)

Methods

support :: Ord n => KindEnv n -> TypeEnv n -> Witness a n -> Support n

SupportX (Cast a)

Methods

support :: Ord n => KindEnv n -> TypeEnv n -> Cast a n -> Support n

SupportX (Alt a)

Methods

support :: Ord n => KindEnv n -> TypeEnv n -> Alt a n -> Support n

SupportX (Lets a)

Methods

support :: Ord n => KindEnv n -> TypeEnv n -> Lets a n -> Support n

SupportX (Exp a)

Methods

support :: Ord n => KindEnv n -> TypeEnv n -> Exp a n -> Support n

SupportX (Module a)

Methods

support :: Ord n => KindEnv n -> TypeEnv n -> Module a n -> Support n

supportEnvFlags :: Ord n => Support n -> Set (Bool, Bound n)

Get a description of the type and value environment from a Support. Type (level-1) variables are tagged with True, while value and witness (level-0) variables are tagged with False.