Safe Haskell | None |
---|---|
Language | Haskell98 |
DDC.Source.Tetra.Exp.Bind
- type Name = Text
- data Bind
- data Bound
- takeBoundOfBind :: Bind -> Maybe Bound
- data DaConBind = DaConBindName Text
- data DaConBound
- = DaConBoundName Text
- | DaConBoundLit PrimLit
- data TyConBind = TyConBindName Text
- data TyConBound = TyConBoundName Text
Documentation
Binding occurrence of a variable.
Bound occurrence of a variable.
Binding occurrence of a data constructor.
Constructors
DaConBindName Text |
data DaConBound Source #
Bound occurrences of a data constructor.
Constructors
DaConBoundName Text | |
DaConBoundLit PrimLit |
Instances
Binding occurrence of a type constructor.
Constructors
TyConBindName Text |
data TyConBound Source #
Bound occurrence of a type constructor.
Constructors
TyConBoundName Text |
Instances