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

Index - S

SCompData.Type.Universe
searchData.Type.Predicate.Param
SearchableData.Type.Predicate.Param
selectData.Type.Predicate.Param
SelectableData.Type.Predicate.Param
sGetCompData.Type.Universe
SingData.Type.Universe
SubsetData.Type.Universe.Subset
subsetToAllData.Type.Universe.Subset
subsetToAnyData.Type.Universe.Subset
subsetToListData.Type.Universe.Subset
subsetToNoneData.Type.Universe.Subset
symDiffData.Type.Universe.Subset