type-combinators-0.1.2.1: A collection of data types for type-level programming

Index

#Type.Family.Tuple
$->Type.Class.Witness
*Type.Family.Nat
+Type.Family.Nat
++Type.Family.List
.*Data.Type.Nat
.+Data.Type.Nat
.++Data.Type.Vector
.^Data.Type.Nat
/?Type.Class.Witness
:&: 
1 (Type/Class)Data.Type.Conjunction
2 (Data Constructor)Data.Type.Conjunction
:*Data.Type.Vector
:*: 
1 (Type/Class)Data.Type.Conjunction
2 (Data Constructor)Data.Type.Conjunction
:+Data.Type.Vector
:+:Data.Type.Disjunction
:-Type.Class.Witness
:-->Data.Type.Quantifier
:-:Type.Class.Witness
:->Data.Type.Quantifier
:..:Data.Type.Combinator
:.:Data.Type.Combinator
::<Data.Type.Product
:< 
1 (Type/Class)Type.Family.List
2 (Data Constructor)Data.Type.Product
:<<Data.Type.Product.Dual
:>Data.Type.Product
:>>Data.Type.Product.Dual
:|:Data.Type.Disjunction
:~:Type.Class.Witness
<$> 
1 (Type/Class)Type.Family.List
2 (Type/Class)Type.Family.Maybe
3 (Type/Class)Type.Family.Tuple
<&> 
1 (Type/Class)Type.Family.List
2 (Type/Class)Type.Family.Maybe
3 (Type/Class)Type.Family.Tuple
<*> 
1 (Type/Class)Type.Family.List
2 (Type/Class)Type.Family.Maybe
3 (Type/Class)Type.Family.Tuple
<-$Type.Class.Witness
<-> 
1 (Type/Class)Type.Class.Witness
2 (Function)Type.Class.Witness
<=Data.Type.Fin
<>Type.Family.Monoid
<?>Type.Class.Witness
<|>Type.Family.Maybe
== 
1 (Function)Type.Family.List
2 (Type/Class)Type.Family.Nat, Type.Family.Maybe, Type.Class.Witness
>+<Data.Type.Disjunction
>: 
1 (Type/Class)Type.Family.List
2 (Function)Data.Type.Product
>::Data.Type.Product
>>:Data.Type.Product.Dual
>|<Data.Type.Disjunction
absurdType.Class.Witness
addSData.Type.Nat
addZData.Type.Nat
All 
1 (Type/Class)Data.Type.Quantifier
2 (Data Constructor)Data.Type.Quantifier
append'Data.Type.Product
appendFData.Type.Product.Dual
applyType.Class.Witness
Bij 
1 (Type/Class)Type.Class.Witness
2 (Data Constructor)Type.Class.Witness
bimap'Type.Class.HFunctor
bwdType.Class.Witness
C 
1 (Type/Class)Data.Type.Combinator
2 (Data Constructor)Data.Type.Combinator
castWithType.Class.Witness
CompData.Type.Combinator
Comp2Data.Type.Combinator
composeData.Type.Vector
ConstraintType.Family.Constraint
CT 
1 (Type/Class)Data.Type.Combinator
2 (Data Constructor)Data.Type.Combinator
Cur 
1 (Type/Class)Data.Type.Combinator
2 (Data Constructor)Data.Type.Combinator
Cur3 
1 (Type/Class)Data.Type.Combinator
2 (Data Constructor)Data.Type.Combinator
curry'Data.Type.Product
curryFData.Type.Product.Dual
curryFanData.Type.Conjunction
curryParData.Type.Conjunction
DecType.Class.Witness
decCaseType.Class.Witness
DecEqualityType.Class.Witness
decideEqualityType.Class.Witness
decompData.Type.Sum
decompFData.Type.Sum.Dual
diagonalData.Type.Vector
ElemData.Type.Index
elemIndexData.Type.Index
entailedType.Class.Witness
fanFstData.Type.Conjunction
fanSndData.Type.Conjunction
FinData.Type.Fin
finData.Type.Fin
findVData.Type.Vector
findVTData.Type.Vector
FInLData.Type.Sum.Dual
finNatData.Type.Fin
FInRData.Type.Sum.Dual
finsData.Type.Fin
finZData.Type.Fin
Flip 
1 (Type/Class)Data.Type.Combinator
2 (Data Constructor)Data.Type.Combinator
flippedData.Type.Combinator
foldMap'Type.Class.HFunctor
FProdData.Type.Product.Dual
FromJustType.Family.Maybe
FSData.Type.Fin
FstType.Family.Tuple
Fst3Type.Family.Tuple
FSumData.Type.Sum.Dual
fwdType.Class.Witness
FZData.Type.Fin
gcastWithType.Class.Witness
getCData.Type.Combinator
getCompData.Type.Combinator
getCTData.Type.Combinator
getCurData.Type.Combinator
getCur3Data.Type.Combinator
getFlipData.Type.Combinator
getIData.Type.Combinator
getITData.Type.Combinator
getJoinData.Type.Combinator
getLLData.Type.Combinator
getMatrixData.Type.Vector
getRRData.Type.Combinator
getSSData.Type.Combinator
getSubType.Class.Witness
getUncurData.Type.Combinator
getUncur3Data.Type.Combinator
HBifunctorType.Class.HFunctor
head' 
1 (Function)Data.Type.Product
2 (Function)Data.Type.Vector
headFData.Type.Product.Dual
HFoldableType.Class.HFunctor
HFunctorType.Class.HFunctor
HIxFoldableType.Class.HFunctor
HIxFunctorType.Class.HFunctor
HIxTraversableType.Class.HFunctor
HTraversableType.Class.HFunctor
I 
1 (Type/Class)Data.Type.Combinator
2 (Data Constructor)Data.Type.Combinator
IffType.Family.Constraint
IffCType.Family.Constraint
ifoldMapData.Type.Vector
ifoldMap'Type.Class.HFunctor
ifoldMapF 
1 (Function)Data.Type.Sum.Dual
2 (Function)Data.Type.Product.Dual
imapData.Type.Vector
imap'Type.Class.HFunctor
imapF 
1 (Function)Data.Type.Sum.Dual
2 (Function)Data.Type.Product.Dual
impossibleType.Class.Witness
IndexData.Type.Index
index 
1 (Function)Data.Type.Sum
2 (Function)Data.Type.Product
3 (Function)Data.Type.Vector
indexF 
1 (Function)Data.Type.Sum.Dual
2 (Function)Data.Type.Product.Dual
Init'Type.Family.List
init'Data.Type.Product
initFData.Type.Product.Dual
injData.Type.Sum
injectFSumData.Type.Sum.Dual
injectSumData.Type.Sum
injFData.Type.Sum.Dual
InLData.Type.Sum
innerType.Class.Witness
InRData.Type.Sum
instAllData.Type.Quantifier
IotaType.Family.Nat
ISData.Type.Index
IT 
1 (Type/Class)Data.Type.Combinator
2 (Data Constructor)Data.Type.Combinator
itraverseData.Type.Vector
itraverse'Type.Class.HFunctor
itraverseF 
1 (Function)Data.Type.Sum.Dual
2 (Function)Data.Type.Product.Dual
ixData.Type.Index.Quote
IZData.Type.Index
Join 
1 (Type/Class)Data.Type.Combinator
2 (Data Constructor)Data.Type.Combinator
Just_Data.Type.Option
KnownType.Class.Known
knownType.Class.Known
KnownCType.Class.Known
LData.Type.Disjunction
L'Data.Type.Disjunction
Last'Type.Family.List
last'Data.Type.Product
lastFData.Type.Product.Dual
LengthData.Type.Length
lEvenData.Type.Length
ListCType.Family.List
LL 
1 (Type/Class)Data.Type.Combinator
2 (Data Constructor)Data.Type.Combinator
lOddData.Type.Length
LSData.Type.Length
LZData.Type.Length
M 
1 (Type/Class)Data.Type.Vector
2 (Data Constructor)Data.Type.Vector
m0Data.Type.Vector
m1Data.Type.Vector
m2Data.Type.Vector
m3Data.Type.Vector
m4Data.Type.Vector
map'Type.Class.HFunctor
MatrixData.Type.Vector
MaybeCType.Family.Maybe
MemptyType.Family.Monoid
mgenData.Type.Vector
mgen_Data.Type.Vector
mzipWithData.Type.Vector
NType.Family.Nat
nData.Type.Nat.Quote
N0Type.Family.Nat
n0Data.Type.Nat
N1Type.Family.Nat
n1Data.Type.Nat
N10Type.Family.Nat
n10Data.Type.Nat
N2Type.Family.Nat
n2Data.Type.Nat
N3Type.Family.Nat
n3Data.Type.Nat
N4Type.Family.Nat
n4Data.Type.Nat
N5Type.Family.Nat
n5Data.Type.Nat
N6Type.Family.Nat
n6Data.Type.Nat
N7Type.Family.Nat
n7Data.Type.Nat
N8Type.Family.Nat
n8Data.Type.Nat
N9Type.Family.Nat
n9Data.Type.Nat
NatData.Type.Nat
natData.Type.Nat
NatEqType.Family.Nat
nilSumData.Type.Sum
nilSumFData.Type.Sum.Dual
Nothing_Data.Type.Option
NTData.Type.Quantifier
NT2Data.Type.Quantifier
onHead'Data.Type.Product
onHeadFData.Type.Product.Dual
OnlyType.Family.List
onlyData.Type.Product
onlyFData.Type.Product.Dual
only_Data.Type.Product
onMatrixData.Type.Vector
onSomeData.Type.Quantifier
onTailData.Type.Vector
onTail'Data.Type.Product
onTailFData.Type.Product.Dual
OptionData.Type.Option
optionData.Type.Option
outerType.Class.Witness
parFstData.Type.Conjunction
parseIxExpData.Type.Index.Quote
parseIxPatData.Type.Index.Quote
parseNatExpData.Type.Nat.Quote
parseNatPatData.Type.Nat.Quote
parseNatTypeData.Type.Nat.Quote
parSndData.Type.Conjunction
ppMatrixData.Type.Vector
ppMatrix'Data.Type.Vector
ppVecData.Type.Vector
PredType.Family.Nat
prjData.Type.Sum
prjFData.Type.Sum.Dual
ProdData.Type.Product
ProvenType.Class.Witness
qedType.Class.Witness
RData.Type.Disjunction
R'Data.Type.Disjunction
ReflType.Class.Witness
RefutedType.Class.Witness
ReverseType.Family.List
reverse'Data.Type.Product
reverseFData.Type.Product.Dual
RR 
1 (Type/Class)Data.Type.Combinator
2 (Data Constructor)Data.Type.Combinator
SType.Family.Nat
SndType.Family.Tuple
Snd3Type.Family.Tuple
Some 
1 (Type/Class)Data.Type.Quantifier
2 (Data Constructor)Data.Type.Quantifier
someData.Type.Quantifier
Some2 
1 (Type/Class)Data.Type.Quantifier
2 (Data Constructor)Data.Type.Quantifier
SS 
1 (Type/Class)Data.Type.Combinator
2 (Data Constructor)Data.Type.Combinator
SubType.Class.Witness
SumData.Type.Sum
symType.Class.Witness
S_Data.Type.Nat
tail' 
1 (Function)Data.Type.Product
2 (Function)Data.Type.Vector
tailFData.Type.Product.Dual
TestEqualityType.Class.Witness
testEqualityType.Class.Witness
Thd3Type.Family.Tuple
transType.Class.Witness
transposeData.Type.Vector
traverse'Type.Class.HFunctor
TupleData.Type.Product
Uncur 
1 (Type/Class)Data.Type.Combinator
2 (Data Constructor)Data.Type.Combinator
Uncur3 
1 (Type/Class)Data.Type.Combinator
2 (Data Constructor)Data.Type.Combinator
uncurry'Data.Type.Product
uncurryFData.Type.Product.Dual
uncurryFanData.Type.Conjunction
uncurryParData.Type.Conjunction
VData.Type.Vector
vacuousType.Class.Witness
vapData.Type.Vector
vDelData.Type.Vector
vfoldMapData.Type.Vector
vfoldMap'Data.Type.Vector
vfoldrData.Type.Vector
vgenData.Type.Vector
vgen_Data.Type.Vector
vmapData.Type.Vector
VoidType.Class.Witness
vrepData.Type.Vector
VTData.Type.Vector
vtransposeData.Type.Vector
weakenData.Type.Fin
weakenNData.Type.Fin
Wit 
1 (Type/Class)Type.Class.Witness
2 (Data Constructor)Type.Class.Witness
Wit1 
1 (Type/Class)Type.Class.Witness
2 (Data Constructor)Type.Class.Witness
withoutData.Type.Fin
withSomeData.Type.Quantifier
withVData.Type.Vector
withVTData.Type.Vector
WitnessType.Class.Witness
WitnessCType.Class.Witness
witnessedType.Class.Witness
ZType.Family.Nat
zipLinesData.Type.Vector
Z_Data.Type.Nat
\\Type.Class.Witness
^Type.Family.Nat
_fstData.Type.Conjunction
_SData.Type.Nat
_sData.Type.Nat
_sndData.Type.Conjunction
_ZData.Type.Nat
_ZneSData.Type.Nat
Ø 
1 (Type/Class)Type.Family.List
2 (Data Constructor)Data.Type.Product
ØCType.Family.Constraint
ØFData.Type.Product.Dual
ØVData.Type.Vector
∈Data.Type.Index