Safe Haskell	None
Language	Haskell98

DDC.Source.Tetra.Exp.Bind

Synopsis

Documentation

type Name = Text Source #

Binding occurrence of a variable.

Constructors

Instances

Eq Bind Source #
Methods (==) :: Bind -> Bind -> Bool # (/=) :: Bind -> Bind -> Bool #
Ord Bind Source #
Methods compare :: Bind -> Bind -> Ordering # (<) :: Bind -> Bind -> Bool # (<=) :: Bind -> Bind -> Bool # (>) :: Bind -> Bind -> Bool # (>=) :: Bind -> Bind -> Bool # max :: Bind -> Bind -> Bind # min :: Bind -> Bind -> Bind #
Show Bind Source #
Methods showsPrec :: Int -> Bind -> ShowS # show :: Bind -> String # showList :: [Bind] -> ShowS #

Bound occurrence of a variable.

Constructors

Instances

Eq Bound Source #
Methods (==) :: Bound -> Bound -> Bool # (/=) :: Bound -> Bound -> Bool #
Ord Bound Source #
Methods compare :: Bound -> Bound -> Ordering # (<) :: Bound -> Bound -> Bool # (<=) :: Bound -> Bound -> Bool # (>) :: Bound -> Bound -> Bool # (>=) :: Bound -> Bound -> Bool # max :: Bound -> Bound -> Bound # min :: Bound -> Bound -> Bound #
Show Bound Source #
Methods showsPrec :: Int -> Bound -> ShowS # show :: Bound -> String # showList :: [Bound] -> ShowS #

Take the corresponding Bound of a Bind, if there is one.

Binding occurrence of a data constructor.

Constructors

Instances

Eq DaConBind Source #
Methods (==) :: DaConBind -> DaConBind -> Bool # (/=) :: DaConBind -> DaConBind -> Bool #
Ord DaConBind Source #
Methods compare :: DaConBind -> DaConBind -> Ordering # (<) :: DaConBind -> DaConBind -> Bool # (<=) :: DaConBind -> DaConBind -> Bool # (>) :: DaConBind -> DaConBind -> Bool # (>=) :: DaConBind -> DaConBind -> Bool # max :: DaConBind -> DaConBind -> DaConBind # min :: DaConBind -> DaConBind -> DaConBind #
Show DaConBind Source #
Methods showsPrec :: Int -> DaConBind -> ShowS # show :: DaConBind -> String # showList :: [DaConBind] -> ShowS #

Bound occurrences of a data constructor.

Constructors

DaConBoundName Text
DaConBoundLit PrimLit

Instances

Eq DaConBound Source #
Methods (==) :: DaConBound -> DaConBound -> Bool # (/=) :: DaConBound -> DaConBound -> Bool #
Ord DaConBound Source #
Methods compare :: DaConBound -> DaConBound -> Ordering # (<) :: DaConBound -> DaConBound -> Bool # (<=) :: DaConBound -> DaConBound -> Bool # (>) :: DaConBound -> DaConBound -> Bool # (>=) :: DaConBound -> DaConBound -> Bool # max :: DaConBound -> DaConBound -> DaConBound # min :: DaConBound -> DaConBound -> DaConBound #
Show DaConBound Source #
Methods showsPrec :: Int -> DaConBound -> ShowS # show :: DaConBound -> String # showList :: [DaConBound] -> ShowS #

Binding occurrence of a type constructor.

Constructors

Instances

Eq TyConBind Source #
Methods (==) :: TyConBind -> TyConBind -> Bool # (/=) :: TyConBind -> TyConBind -> Bool #
Ord TyConBind Source #
Methods compare :: TyConBind -> TyConBind -> Ordering # (<) :: TyConBind -> TyConBind -> Bool # (<=) :: TyConBind -> TyConBind -> Bool # (>) :: TyConBind -> TyConBind -> Bool # (>=) :: TyConBind -> TyConBind -> Bool # max :: TyConBind -> TyConBind -> TyConBind # min :: TyConBind -> TyConBind -> TyConBind #
Show TyConBind Source #
Methods showsPrec :: Int -> TyConBind -> ShowS # show :: TyConBind -> String # showList :: [TyConBind] -> ShowS #

Bound occurrence of a type constructor.

Constructors

Instances

Eq TyConBound Source #
Methods (==) :: TyConBound -> TyConBound -> Bool # (/=) :: TyConBound -> TyConBound -> Bool #
Ord TyConBound Source #
Methods compare :: TyConBound -> TyConBound -> Ordering # (<) :: TyConBound -> TyConBound -> Bool # (<=) :: TyConBound -> TyConBound -> Bool # (>) :: TyConBound -> TyConBound -> Bool # (>=) :: TyConBound -> TyConBound -> Bool # max :: TyConBound -> TyConBound -> TyConBound # min :: TyConBound -> TyConBound -> TyConBound #
Show TyConBound Source #
Methods showsPrec :: Int -> TyConBound -> ShowS # show :: TyConBound -> String # showList :: [TyConBound] -> ShowS #