sop-core-0.5.0.2: True Sums of Products

Index

-.-> | Data.SOP.Classes, Data.SOP
:* | Data.SOP.NP, Data.SOP
:.: | Data.SOP.BasicFunctors, Data.SOP
All | Data.SOP.Constraint, Data.SOP
All2 | Data.SOP.Constraint, Data.SOP
all2 | Data.SOP.Dict
AllF | Data.SOP.Constraint
AllN | Data.SOP.Constraint, Data.SOP
AllZip | Data.SOP.Constraint, Data.SOP
AllZip2 | Data.SOP.Constraint, Data.SOP
AllZipF | Data.SOP.Constraint
AllZipN | Data.SOP.Constraint, Data.SOP
all_NP | Data.SOP.Dict
all_POP | Data.SOP.Dict
ana_NP | Data.SOP.NP
ana_NS | Data.SOP.NS
And | Data.SOP.Constraint, Data.SOP
apFn | Data.SOP.Classes, Data.SOP
apInjs'_NP | Data.SOP.NS
apInjs'_POP | Data.SOP.NS
apInjs_NP | Data.SOP.NS, Data.SOP
apInjs_POP | Data.SOP.NS, Data.SOP
ap_NP | Data.SOP.NP
ap_NS | Data.SOP.NS
ap_POP | Data.SOP.NP
ap_SOP | Data.SOP.NS
cana_NP | Data.SOP.NP
cana_NS | Data.SOP.NS
case_SList | Data.SOP.Sing, Data.SOP
cata_NP | Data.SOP.NP
cata_NS | Data.SOP.NS
ccase_SList | Data.SOP.Constraint, Data.SOP
ccata_NP | Data.SOP.NP
ccata_NS | Data.SOP.NS
ccompare_NS | Data.SOP.NS, Data.SOP
ccompare_SOP | Data.SOP.NS, Data.SOP
cexpand_NS | Data.SOP.NS
cexpand_SOP | Data.SOP.NS
cfoldMap_NP | Data.SOP.NP
cfoldMap_NS | Data.SOP.NS
cfoldMap_POP | Data.SOP.NP
cfoldMap_SOP | Data.SOP.NS
cliftA2'_NP | Data.SOP.NP
cliftA2'_NS | Data.SOP.NS
cliftA2_NP | Data.SOP.NP
cliftA2_NS | Data.SOP.NS
cliftA2_POP | Data.SOP.NP
cliftA2_SOP | Data.SOP.NS
cliftA3_NP | Data.SOP.NP
cliftA3_POP | Data.SOP.NP
cliftA_NP | Data.SOP.NP
cliftA_NS | Data.SOP.NS
cliftA_POP | Data.SOP.NP
cliftA_SOP | Data.SOP.NS
cmap_NP | Data.SOP.NP
cmap_NS | Data.SOP.NS
cmap_POP | Data.SOP.NP
cmap_SOP | Data.SOP.NS
coerce_NP | Data.SOP.NP
coerce_NS | Data.SOP.NS
coerce_POP | Data.SOP.NP
coerce_SOP | Data.SOP.NS
CollapseTo | Data.SOP.Classes, Data.SOP
collapse_NP | Data.SOP.NP
collapse_NS | Data.SOP.NS
collapse_POP | Data.SOP.NP
collapse_SOP | Data.SOP.NS
Comp | Data.SOP.BasicFunctors, Data.SOP
compare_NS | Data.SOP.NS, Data.SOP
compare_SOP | Data.SOP.NS, Data.SOP
Compose | Data.SOP.Constraint, Data.SOP
Constraint | Data.SOP.Constraint
cpara_SList | Data.SOP.Constraint, Data.SOP
cpure_NP | Data.SOP.NP
cpure_POP | Data.SOP.NP
ctraverse'_NP | Data.SOP.NP
ctraverse'_NS | Data.SOP.NS
ctraverse'_POP | Data.SOP.NP
ctraverse'_SOP | Data.SOP.NS
ctraverse_NP | Data.SOP.NP
ctraverse_NS | Data.SOP.NS
ctraverse_POP | Data.SOP.NP
ctraverse_SOP | Data.SOP.NS
ctraverse__NP | Data.SOP.NP
ctraverse__NS | Data.SOP.NS
ctraverse__POP | Data.SOP.NP
ctraverse__SOP | Data.SOP.NS
czipWith3_NP | Data.SOP.NP
czipWith3_POP | Data.SOP.NP
czipWith_NP | Data.SOP.NP
czipWith_POP | Data.SOP.NP
Dict |
1 (Type/Class) | Data.SOP.Dict
2 (Data Constructor) | Data.SOP.Dict
Ejection | Data.SOP.NS
ejections | Data.SOP.NS
expand_NS | Data.SOP.NS
expand_SOP | Data.SOP.NS
Fn | Data.SOP.Classes, Data.SOP
fn | Data.SOP.Classes, Data.SOP
fn_2 | Data.SOP.Classes, Data.SOP
fn_3 | Data.SOP.Classes, Data.SOP
fn_4 | Data.SOP.Classes, Data.SOP
fromI_NP | Data.SOP.NP
fromI_NS | Data.SOP.NS
fromI_POP | Data.SOP.NP
fromI_SOP | Data.SOP.NS
fromList | Data.SOP.NP, Data.SOP
HAp | Data.SOP.Classes, Data.SOP
hap | Data.SOP.Classes, Data.SOP
HApInjs | Data.SOP.Classes, Data.SOP
hapInjs | Data.SOP.Classes, Data.SOP
hcexpand | Data.SOP.Classes, Data.SOP
hcfoldMap | Data.SOP.Classes, Data.SOP
hcfor | Data.SOP.Classes, Data.SOP
hcfor_ | Data.SOP.Classes, Data.SOP
hcliftA | Data.SOP.Classes, Data.SOP
hcliftA' | Data.SOP.NP, Data.SOP
hcliftA2 | Data.SOP.Classes, Data.SOP
hcliftA2' | Data.SOP.NP, Data.SOP
hcliftA3 | Data.SOP.Classes, Data.SOP
hcliftA3' | Data.SOP.NP, Data.SOP
hcmap | Data.SOP.Classes, Data.SOP
hcoerce | Data.SOP.Classes, Data.SOP
HCollapse | Data.SOP.Classes, Data.SOP
hcollapse | Data.SOP.Classes, Data.SOP
hcpure | Data.SOP.Classes, Data.SOP
hctraverse | Data.SOP.Classes, Data.SOP
hctraverse' | Data.SOP.Classes, Data.SOP
hctraverse_ | Data.SOP.Classes, Data.SOP
hczipWith | Data.SOP.Classes, Data.SOP
hczipWith3 | Data.SOP.Classes, Data.SOP
hd | Data.SOP.NP, Data.SOP
hdicts | Data.SOP.Dict
Head | Data.SOP.Constraint
HExpand | Data.SOP.Classes, Data.SOP
hexpand | Data.SOP.Classes, Data.SOP
hfromI | Data.SOP.Classes, Data.SOP
HIndex | Data.SOP.Classes, Data.SOP
hindex | Data.SOP.Classes, Data.SOP
hliftA | Data.SOP.Classes, Data.SOP
hliftA2 | Data.SOP.Classes, Data.SOP
hliftA3 | Data.SOP.Classes, Data.SOP
hmap | Data.SOP.Classes, Data.SOP
HPure | Data.SOP.Classes, Data.SOP
hpure | Data.SOP.Classes, Data.SOP
HSequence | Data.SOP.Classes, Data.SOP
hsequence | Data.SOP.Classes, Data.SOP
hsequence' | Data.SOP.Classes, Data.SOP
hsequenceK | Data.SOP.Classes, Data.SOP
htoI | Data.SOP.Classes, Data.SOP
HTrans | Data.SOP.Classes, Data.SOP
htrans | Data.SOP.Classes, Data.SOP
htraverse' | Data.SOP.Classes, Data.SOP
HTraverse_ | Data.SOP.Classes, Data.SOP
htraverse_ | Data.SOP.Classes, Data.SOP
hzipWith | Data.SOP.Classes, Data.SOP
hzipWith3 | Data.SOP.Classes, Data.SOP
I |
1 (Type/Class) | Data.SOP.BasicFunctors, Data.SOP
2 (Data Constructor) | Data.SOP.BasicFunctors, Data.SOP
index_NS | Data.SOP.NS
index_SOP | Data.SOP.NS
Injection | Data.SOP.NS, Data.SOP
injections | Data.SOP.NS, Data.SOP
K |
1 (Type/Class) | Data.SOP.BasicFunctors, Data.SOP
2 (Data Constructor) | Data.SOP.BasicFunctors, Data.SOP
lengthSList | Data.SOP.Sing, Data.SOP
liftA2_NP | Data.SOP.NP
liftA2_NS | Data.SOP.NS
liftA2_POP | Data.SOP.NP
liftA2_SOP | Data.SOP.NS
liftA3_NP | Data.SOP.NP
liftA3_POP | Data.SOP.NP
liftA_NP | Data.SOP.NP
liftA_NS | Data.SOP.NS
liftA_POP | Data.SOP.NP
liftA_SOP | Data.SOP.NS
LiftedCoercible | Data.SOP.Constraint, Data.SOP
mapAll | Data.SOP.Dict
mapAll2 | Data.SOP.Dict
mapII | Data.SOP.BasicFunctors, Data.SOP
mapIII | Data.SOP.BasicFunctors, Data.SOP
mapIIK | Data.SOP.BasicFunctors, Data.SOP
mapIK | Data.SOP.BasicFunctors, Data.SOP
mapIKI | Data.SOP.BasicFunctors, Data.SOP
mapIKK | Data.SOP.BasicFunctors, Data.SOP
mapKI | Data.SOP.BasicFunctors, Data.SOP
mapKII | Data.SOP.BasicFunctors, Data.SOP
mapKIK | Data.SOP.BasicFunctors, Data.SOP
mapKK | Data.SOP.BasicFunctors, Data.SOP
mapKKI | Data.SOP.BasicFunctors, Data.SOP
mapKKK | Data.SOP.BasicFunctors, Data.SOP
map_NP | Data.SOP.NP
map_NS | Data.SOP.NS
map_POP | Data.SOP.NP
map_SOP | Data.SOP.NS
Nil | Data.SOP.NP, Data.SOP
NP | Data.SOP.NP, Data.SOP
NS | Data.SOP.NS, Data.SOP
para_SList | Data.SOP.Sing, Data.SOP
POP |
1 (Type/Class) | Data.SOP.NP, Data.SOP
2 (Data Constructor) | Data.SOP.NP, Data.SOP
Prod | Data.SOP.Classes, Data.SOP
Projection | Data.SOP.NP, Data.SOP
projections | Data.SOP.NP, Data.SOP
Proxy |
1 (Type/Class) | Data.SOP
2 (Data Constructor) | Data.SOP
pureAll | Data.SOP.Dict
pureAll2 | Data.SOP.Dict
pure_NP | Data.SOP.NP
pure_POP | Data.SOP.NP
S | Data.SOP.NS, Data.SOP
Same | Data.SOP.Classes
SameShapeAs | Data.SOP.Constraint, Data.SOP
SCons | Data.SOP.Sing, Data.SOP
sequence'_NP | Data.SOP.NP
sequence'_NS | Data.SOP.NS
sequence'_POP | Data.SOP.NP
sequence'_SOP | Data.SOP.NS
sequence_NP | Data.SOP.NP
sequence_NS | Data.SOP.NS
sequence_POP | Data.SOP.NP
sequence_SOP | Data.SOP.NS
Shape | Data.SOP.Sing, Data.SOP
shape | Data.SOP.Sing, Data.SOP
ShapeCons | Data.SOP.Sing, Data.SOP
ShapeNil | Data.SOP.Sing, Data.SOP
shift | Data.SOP.NS, Data.SOP
shiftEjection | Data.SOP.NS
shiftInjection | Data.SOP.NS, Data.SOP
shiftProjection | Data.SOP.NP, Data.SOP
SList | Data.SOP.Sing, Data.SOP
sList | Data.SOP.Sing, Data.SOP
SListI | Data.SOP.Constraint, Data.SOP.Sing, Data.SOP
SListI2 | Data.SOP.Constraint, Data.SOP
SListIN | Data.SOP.Constraint
SNil | Data.SOP.Sing, Data.SOP
SOP |
1 (Type/Class) | Data.SOP.NS, Data.SOP
2 (Data Constructor) | Data.SOP.NS, Data.SOP
Tail | Data.SOP.Constraint
tl | Data.SOP.NP, Data.SOP
toI_NP | Data.SOP.NP
toI_NS | Data.SOP.NS
toI_POP | Data.SOP.NP
toI_SOP | Data.SOP.NS
Top | Data.SOP.Constraint, Data.SOP
trans_NP | Data.SOP.NP
trans_NS | Data.SOP.NS
trans_POP | Data.SOP.NP
trans_SOP | Data.SOP.NS
traverse'_NP | Data.SOP.NP
traverse'_NS | Data.SOP.NS
traverse'_POP | Data.SOP.NP
traverse'_SOP | Data.SOP.NS
traverse__NP | Data.SOP.NP
traverse__NS | Data.SOP.NS
traverse__POP | Data.SOP.NP
traverse__SOP | Data.SOP.NS
unAll2 | Data.SOP.Dict
unAll_NP | Data.SOP.Dict
unAll_POP | Data.SOP.Dict
unComp | Data.SOP.BasicFunctors, Data.SOP
unI | Data.SOP.BasicFunctors, Data.SOP
unK | Data.SOP.BasicFunctors, Data.SOP
unPOP | Data.SOP.NP, Data.SOP
UnProd | Data.SOP.Classes, Data.SOP
unSOP | Data.SOP.NS, Data.SOP
unZ | Data.SOP.NS, Data.SOP
withDict | Data.SOP.Dict
Z | Data.SOP.NS, Data.SOP
zipAll | Data.SOP.Dict
zipAll2 | Data.SOP.Dict
zipWith3_NP | Data.SOP.NP
zipWith3_POP | Data.SOP.NP
zipWith_NP | Data.SOP.NP
zipWith_POP | Data.SOP.NP