Data.CT.DependentAction.Instances

Definitions

PairType : DepAct TypeCat Const

Totality: total
Visibility: public export

DPairType : DepAct TypeCat FamIndCat

  X, X':X -> Set, DPair X X'

Totality: total
Visibility: public export

PairCont : DepAct DLens Const

Totality: total
Visibility: public export

DPairCont : DepAct DLens FamDLens

Totality: total
Visibility: public export

PairAddCont : DepAct AddDLens Const

Totality: total
Visibility: public export

DPairAddCont : DepAct AddDLens FamAddDLens

Totality: total
Visibility: public export