decidable-0.1.5.0: Combinators for manipulating dependently-typed predicates. (Index - S)

decidable-0.1.5.0: Combinators for manipulating dependently-typed predicates.

A
B
C
D
E
F
G
I
M
N
O
P
R
S
T
U
W
:
&
<
=
^
|
-
All

Index - S

SComp	Data.Type.Universe
search	Data.Type.Predicate.Param
Searchable	Data.Type.Predicate.Param
SearchableTC	Data.Type.Predicate.Param
searchTC	Data.Type.Predicate.Param
select	Data.Type.Predicate.Param
Selectable	Data.Type.Predicate.Param
SelectableTC	Data.Type.Predicate.Param
selectTC	Data.Type.Predicate.Param
sGetComp	Data.Type.Universe
SIId	Data.Type.Universe
SIIdentity	Data.Type.Universe
SIIdentity'	Data.Type.Universe
SIJust
1 (Type/Class)	Data.Type.Universe
2 (Data Constructor)	Data.Type.Universe
SIJust'	Data.Type.Universe
SIndex	Data.Type.Universe
SIndex'	Data.Type.Universe
Sing	Data.Type.Universe
SInL	Data.Type.Universe
SIProxy	Data.Type.Universe
SIProxy'	Data.Type.Universe
SIRight
1 (Type/Class)	Data.Type.Universe
2 (Data Constructor)	Data.Type.Universe
SIRight'	Data.Type.Universe
SIS	Data.Type.Universe
SISnd
1 (Type/Class)	Data.Type.Universe
2 (Data Constructor)	Data.Type.Universe
SISnd'	Data.Type.Universe
SIZ	Data.Type.Universe
SNEHead	Data.Type.Universe
SNEIndex	Data.Type.Universe
SNEIndex'	Data.Type.Universe
SNETail	Data.Type.Universe
Subset	Data.Type.Universe.Subset
subsetToAll	Data.Type.Universe.Subset
subsetToAny	Data.Type.Universe.Subset
subsetToList	Data.Type.Universe.Subset
subsetToNone	Data.Type.Universe.Subset
SumElem	Data.Type.Universe
sumLAll	Data.Type.Universe
sumLAny	Data.Type.Universe
sumRAll	Data.Type.Universe
sumRAny	Data.Type.Universe
symDiff	Data.Type.Universe.Subset