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

Index - S

searchData.Type.Predicate.Param
SearchableData.Type.Predicate.Param
SearchableTCData.Type.Predicate.Param
searchTCData.Type.Predicate.Param
selectData.Type.Predicate.Param
SelectableData.Type.Predicate.Param
SelectableTCData.Type.Predicate.Param
selectTCData.Type.Predicate.Param
singAllData.Type.Universe
splitSingData.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