linear-maps-0.5: Finite maps for linear useContentsIndex
Search:
!
1 (Function)
2 (Function)
:.
1 (Type/Class)
2 (Data Constructor)
:<
1 (Data Constructor)
2 (Data Constructor)
:>
1 (Data Constructor)
2 (Data Constructor)
:|:
<|
1 (Function)
2 (Function)
><
1 (Function)
2 (Function)
delete
1 (Function)
2 (Function)
empty
1 (Function)
2 (Function)
EmptyL
1 (Data Constructor)
2 (Data Constructor)
EmptyR
1 (Data Constructor)
2 (Data Constructor)
equalBy
fmap2
fmap3
fromList
1 (Function)
2 (Function)
Functor2
Functor3
I
I0
I1
I10
I11
I12
I13
I14
I15
I16
I17
I18
I19
I2
I20
I21
I22
I23
I24
I25
I26
I27
I28
I29
I3
I30
I31
I32
I4
I5
I6
I7
I8
I9
ICC
ICCS
Id
Incl
Incl2
induction
induction'
induction''
insert
1 (Function)
2 (Function)
inserts
1 (Function)
2 (Function)
left
left2
lookUp
1 (Function)
2 (Function)
Map
Maplike
MaplikeClass
Maps
member
1 (Function)
2 (Function)
num
PlusMap
PlusSet
right
right2
runICC
runICCS
Seq
1 (Type/Class)
2 (Type/Class)
Set
setInsert
1 (Function)
2 (Function)
setInserts
1 (Function)
2 (Function)
Sets
singleton
1 (Function)
2 (Function)
Succ
tests
toList
1 (Function)
2 (Function)
union
unsafeEquivalent
unsafeInsert
ViewL
1 (Type/Class)
2 (Type/Class)
viewl
1 (Function)
2 (Function)
ViewR
1 (Type/Class)
2 (Type/Class)
viewr
1 (Function)
2 (Function)
Zero
|>
1 (Function)
2 (Function)