Data.CT.DependentAction.Instances

Definitions

PairType : DepAct TypeCat Const

Visibility: public export

DPairType : DepAct TypeCat FamIndCat

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

Visibility: public export

PairCont : DepAct DLens Const

Visibility: public export

DPairCont : DepAct DLens FamDLens

Visibility: public export

PairAddCont : DepAct AddDLens Const

Visibility: public export

DPairAddCont : DepAct AddDLens FamAddDLens

Visibility: public export