Type.Eq.Higher

Additional functions, kind *

constructorEq

sameOuterEq

Full equality, kind * -> *

data f ::~:: g

withEq1

idEq1

composeEq1

(|.|)

flipEq1

applyEq1

(|$|)

constructorEq1

argumentEq1

dynamicEq1

Partial equality, kind * -> *

data OuterEq1 m f

data InnerEq1 a f

withOuterEq1

withInnerEq1

outerEq1

innerEq1

assembleEq1

sameOuterEq1

sameInnerEq1

Full equality, kind * -> * -> *

data m :::~::: n

withEq2

idEq2

composeEq2

(||.||)

flipEq2

applyEq2

(||$||)

dynamicEq2