extensible-0.1: Poly-kinded, extensible ADTs

Index

:*Data.Extensible
:|Data.Extensible
<%Data.Extensible
<%|Data.Extensible
<:*Data.Extensible
<:|Data.Extensible
<?!Data.Extensible
<?%Data.Extensible
buryData.Extensible
exhaustData.Extensible
GenerateData.Extensible
generateData.Extensible
getK0Data.Extensible
getK1Data.Extensible
getUnionData.Extensible
hoistPData.Extensible
IncludeData.Extensible
inSData.Extensible
K0 
1 (Type/Class)Data.Extensible
2 (Data Constructor)Data.Extensible
K1 
1 (Type/Class)Data.Extensible
2 (Data Constructor)Data.Extensible
liftUData.Extensible
mapMatchData.Extensible
Match 
1 (Type/Class)Data.Extensible
2 (Data Constructor)Data.Extensible
matchData.Extensible
MemberData.Extensible
NilData.Extensible
outPData.Extensible
pickedData.Extensible
pluckData.Extensible
PositionData.Extensible
positionData.Extensible
recordData.Extensible
runMatchData.Extensible
runPositionData.Extensible
sectorData.Extensible
sectorAtData.Extensible
shrinkData.Extensible
spreadData.Extensible
TreeData.Extensible
unconsPData.Extensible
Union 
1 (Type/Class)Data.Extensible
2 (Data Constructor)Data.Extensible
UnionAtData.Extensible
Data.Extensible