Contents
Index
simplistic-generics-2.0.0: Generic programming without too many type classes
Index
&&&
Generics.Simplistic.Util
***
Generics.Simplistic.Util
:***:
Generics.Simplistic
:**:
Generics.Simplistic
:*:
1 (Type/Class)
Generics.Simplistic.Util
,
Generics.Simplistic
2 (Data Constructor)
Generics.Simplistic.Util
,
Generics.Simplistic
:+:
Generics.Simplistic
:->
Generics.Simplistic.Util
:.:
Generics.Simplistic
:=>:
Generics.Simplistic
<.>
Generics.Simplistic.Util
All
Generics.Simplistic.Util
cataM
Generics.Simplistic.Deep
Comp1
Generics.Simplistic
CompoundCnstr
Generics.Simplistic.Deep
curry'
Generics.Simplistic.Util
Deep
Generics.Simplistic.Deep
Delta
Generics.Simplistic.Util
delta
Generics.Simplistic.Util
deltaMap
Generics.Simplistic.Util
deriveDeepFor
Generics.Simplistic.Deep.TH
deriveInstancesWith
Generics.Simplistic.Deep.TH
dfrom
Generics.Simplistic.Deep
dto
Generics.Simplistic.Deep
either'
Generics.Simplistic.Util
either''
Generics.Simplistic.Util
Elem
Generics.Simplistic.Util
ElemPrf
Generics.Simplistic.Util
EqHO
Generics.Simplistic.Util
eqHO
Generics.Simplistic.Util
exElim
Generics.Simplistic.Util
Exists
1 (Type/Class)
Generics.Simplistic.Util
2 (Data Constructor)
Generics.Simplistic.Util
exMap
Generics.Simplistic.Util
exMapM
Generics.Simplistic.Util
fromS
Generics.Simplistic
fromS1
Generics.Simplistic
GDeep
Generics.Simplistic.Deep
gdfrom
Generics.Simplistic.Deep
gdto
Generics.Simplistic.Deep
Generic
Generics.Simplistic
geq
Generics.Simplistic.Derive.Eq
geq'
Generics.Simplistic.Derive.Eq
getAnn
Generics.Simplistic.Deep
getConstructorName
Generics.Simplistic
getDatatypeName
Generics.Simplistic
gfmap
Generics.Simplistic.Derive.Functor
gfmap'
Generics.Simplistic.Derive.Functor
GMeta
Generics.Simplistic
GShallow
Generics.Simplistic
GShallow1
Generics.Simplistic
gshow
Generics.Simplistic.Derive.Show
gshowsPrec
Generics.Simplistic.Derive.Show
HasElem
Generics.Simplistic.Util
hasElem
Generics.Simplistic.Util
Here
Generics.Simplistic.Util
Hole
Generics.Simplistic.Deep
Hole'
Generics.Simplistic.Deep
Holes
Generics.Simplistic.Deep
HolesAnn
Generics.Simplistic.Deep
holesHolesList
Generics.Simplistic.Deep
holesJoin
Generics.Simplistic.Deep
holesMap
Generics.Simplistic.Deep
holesMapAnn
Generics.Simplistic.Deep
holesMapAnnM
Generics.Simplistic.Deep
holesMapM
Generics.Simplistic.Deep
holesRefineHoles
Generics.Simplistic.Deep
holesRefineHolesM
Generics.Simplistic.Deep
holesRefineM
Generics.Simplistic.Deep
holesSize
Generics.Simplistic.Deep
holesToSFix
Generics.Simplistic.Deep
I
1 (Type/Class)
Generics.Simplistic
2 (Data Constructor)
Generics.Simplistic
Implies
Generics.Simplistic.Util
,
Generics.Simplistic
InL
Generics.Simplistic.Util
InR
Generics.Simplistic.Util
inr1
Generics.Simplistic.Zipper
IsElem
Generics.Simplistic.Util
K1
1 (Type/Class)
Generics.Simplistic
2 (Data Constructor)
Generics.Simplistic
L1
Generics.Simplistic
lgg
Generics.Simplistic.Deep
M1
1 (Type/Class)
Generics.Simplistic
2 (Data Constructor)
Generics.Simplistic
minimize
Generics.Simplistic.Unify
NotElem
Generics.Simplistic.Util
OccursCheck
Generics.Simplistic.Unify
OnLeaves
Generics.Simplistic
OnLeaves1
Generics.Simplistic
Par1
Generics.Simplistic
plug
Generics.Simplistic.Zipper
Prim
Generics.Simplistic.Deep
Prim'
Generics.Simplistic.Deep
PrimAnn
Generics.Simplistic.Deep
PrimCnstr
Generics.Simplistic.Deep
R
Generics.Simplistic
R1
Generics.Simplistic
Rec1
Generics.Simplistic
Rep
Generics.Simplistic
Rep1
Generics.Simplistic
repConstructorName
Generics.Simplistic
repDatatypeName
Generics.Simplistic
repLeaves
Generics.Simplistic
repLeavesC
Generics.Simplistic
repLeavesList
Generics.Simplistic
repMap
Generics.Simplistic
repMapCM
Generics.Simplistic
repMapM
Generics.Simplistic
Roll
Generics.Simplistic.Deep
Roll'
Generics.Simplistic.Deep
S1_Comp
Generics.Simplistic
S1_K1
Generics.Simplistic
S1_L1
Generics.Simplistic
S1_M1
Generics.Simplistic
S1_Par
Generics.Simplistic
S1_R1
Generics.Simplistic
S1_Rec
Generics.Simplistic
S1_ST
Generics.Simplistic
S1_U1
Generics.Simplistic
sameTy
Generics.Simplistic.Util
sel
Generics.Simplistic.Zipper
SFix
1 (Type/Class)
Generics.Simplistic.Deep
2 (Data Constructor)
Generics.Simplistic.Deep
SFixAnn
1 (Type/Class)
Generics.Simplistic.Deep
2 (Data Constructor)
Generics.Simplistic.Deep
sfixToHoles
Generics.Simplistic.Deep
sfrom
Generics.Simplistic
sfrom1
Generics.Simplistic
ShowHO
Generics.Simplistic.Util
showHO
Generics.Simplistic.Util
showsPrecHO
Generics.Simplistic.Util
Simplistic
Generics.Simplistic
Simplistic1
Generics.Simplistic
SMeta
Generics.Simplistic
smeta
Generics.Simplistic
SMetaI
1 (Type/Class)
Generics.Simplistic
2 (Data Constructor)
Generics.Simplistic
SM_C
Generics.Simplistic
SM_D
Generics.Simplistic
SM_S
Generics.Simplistic
SRep
Generics.Simplistic
SRep1
Generics.Simplistic
sto
Generics.Simplistic
sto1
Generics.Simplistic
Subst
Generics.Simplistic.Unify
substApply
Generics.Simplistic.Unify
substEmpty
Generics.Simplistic.Unify
substInsert
Generics.Simplistic.Unify
substLkup
Generics.Simplistic.Unify
SuchThat
Generics.Simplistic
Sum
Generics.Simplistic.Util
SymbolClash
Generics.Simplistic.Unify
synthesize
Generics.Simplistic.Deep
synthesizeM
Generics.Simplistic.Deep
SZip
Generics.Simplistic.Zipper
S_K1
Generics.Simplistic
S_L1
Generics.Simplistic
S_M1
Generics.Simplistic
S_R1
Generics.Simplistic
S_ST
Generics.Simplistic
S_U1
Generics.Simplistic
There
Generics.Simplistic.Util
toS
Generics.Simplistic
toS1
Generics.Simplistic
Trivial
Generics.Simplistic.Util
,
Generics.Simplistic
U1
1 (Type/Class)
Generics.Simplistic
2 (Data Constructor)
Generics.Simplistic
unComp1
Generics.Simplistic
uncurry'
Generics.Simplistic.Util
unfoldFamilyInto
Generics.Simplistic.Deep.TH
unI
Generics.Simplistic
unify
Generics.Simplistic.Unify
UnifyErr
Generics.Simplistic.Unify
unifyWith
Generics.Simplistic.Unify
unify_
Generics.Simplistic.Unify
unK1
Generics.Simplistic
unM1
Generics.Simplistic
V1
Generics.Simplistic
weq
Generics.Simplistic.Util
Witness
1 (Type/Class)
Generics.Simplistic.Util
2 (Data Constructor)
Generics.Simplistic.Util
witness
Generics.Simplistic.Util
witnessPrf
Generics.Simplistic.Util
wshow
Generics.Simplistic.Util
zipConstructorName
Generics.Simplistic.Zipper
zipLeavesList
Generics.Simplistic.Zipper
Zipper
1 (Type/Class)
Generics.Simplistic.Zipper
2 (Data Constructor)
Generics.Simplistic.Zipper
zipper
Generics.Simplistic.Zipper
Zipper'
Generics.Simplistic.Zipper
zipperMap
Generics.Simplistic.Zipper
zipperRepZip
Generics.Simplistic.Zipper
zippers
Generics.Simplistic.Zipper
zipSRep
Generics.Simplistic
zipSZip
Generics.Simplistic.Zipper
Z_KH
Generics.Simplistic.Zipper
Z_L1
Generics.Simplistic.Zipper
Z_M1
Generics.Simplistic.Zipper
Z_PairL
Generics.Simplistic.Zipper
Z_PairR
Generics.Simplistic.Zipper
Z_R1
Generics.Simplistic.Zipper