Safe Haskell	Safe
Language	Haskell98

DDC.Core.Collect.Support

Synopsis

Documentation

data Support n Source

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) Source
Ord n => Monoid (Support n) Source

class SupportX c where Source

Methods

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

Instances

SupportX Type Source
SupportX Bind Source
SupportX (Witness a) Source
SupportX (Cast a) Source
SupportX (Alt a) Source
SupportX (Lets a) Source
SupportX (Exp a) Source
SupportX (Module a) Source

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

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.