DDC.Source.Tetra.Exp.Bind

Documentation

type Name = Text

data Bind

Binding occurrence of a variable.

Constructors

BNone

BAnon

BName !Text

Instances

Eq Bind

Methods

(==) :: Bind -> Bind -> Bool

(/=) :: Bind -> Bind -> Bool

Ord Bind

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

Methods

showsPrec :: Int -> Bind -> ShowS

show :: Bind -> String

showList :: [Bind] -> ShowS

data Bound

Bound occurrence of a variable.

Constructors

UName !Text

UIx !Int

UHole

Instances

Eq Bound

Methods

(==) :: Bound -> Bound -> Bool

(/=) :: Bound -> Bound -> Bool

Ord Bound

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

Methods

showsPrec :: Int -> Bound -> ShowS

show :: Bound -> String

showList :: [Bound] -> ShowS

takeBoundOfBind :: Bind -> Maybe Bound

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

data DaConBind

Binding occurrence of a data constructor.

Constructors

DaConBindName Text

Instances

Eq DaConBind

Methods

(==) :: DaConBind -> DaConBind -> Bool

(/=) :: DaConBind -> DaConBind -> Bool

Ord DaConBind

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

Methods

showsPrec :: Int -> DaConBind -> ShowS

show :: DaConBind -> String

showList :: [DaConBind] -> ShowS

data DaConBound

Bound occurrences of a data constructor.

Constructors

DaConBoundName Text

DaConBoundLit PrimLit

Instances

Eq DaConBound

Methods

(==) :: DaConBound -> DaConBound -> Bool

(/=) :: DaConBound -> DaConBound -> Bool

Ord DaConBound

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

Methods

showsPrec :: Int -> DaConBound -> ShowS

show :: DaConBound -> String

showList :: [DaConBound] -> ShowS

data TyConBind

Binding occurrence of a type constructor.

Constructors

TyConBindName Text

Instances

Eq TyConBind

Methods

(==) :: TyConBind -> TyConBind -> Bool

(/=) :: TyConBind -> TyConBind -> Bool

Ord TyConBind

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

Methods

showsPrec :: Int -> TyConBind -> ShowS

show :: TyConBind -> String

showList :: [TyConBind] -> ShowS

data TyConBound

Bound occurrence of a type constructor.

Constructors

TyConBoundName Text

Instances

Eq TyConBound

Methods

(==) :: TyConBound -> TyConBound -> Bool

(/=) :: TyConBound -> TyConBound -> Bool

Ord TyConBound

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

Methods

showsPrec :: Int -> TyConBound -> ShowS

show :: TyConBound -> String

showList :: [TyConBound] -> ShowS