singletons-2.5.1: A framework for generating singleton types

- A
- B
- C
- D
- E
- F
- G
- H
- I
- J
- K
- L
- M
- N
- O
- P
- Q
- R
- S
- T
- U
- V
- W
- X
- Z
- :
- !
- $
- %
- &
- *
- +
- .
- /
- <
- =
- >
- @
- \
- ^
- |
- -
- ~
- All

Index - S

sAbs | Data.Singletons.Prelude.Num, Data.Singletons.Prelude
sAbsurd | Data.Singletons.Prelude.Void
SAll |
1 (Type/Class) | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
2 (Data Constructor) | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
sAll | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
SAlternative | Data.Singletons.Prelude.Applicative
SameKind | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SameKindSym0 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SameKindSym1 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SameKindSym2 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sAnd | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
SAny |
1 (Type/Class) | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
2 (Data Constructor) | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
sAny | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
sAp | Data.Singletons.Prelude.Monad
SApplicative | Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sAppPrec | Data.Singletons.Prelude.Show
sAppPrec1 | Data.Singletons.Prelude.Show
SArg |
1 (Type/Class) | Data.Singletons.Prelude.Semigroup
2 (Data Constructor) | Data.Singletons.Prelude.Semigroup
sAsTypeOf | Data.Singletons.Prelude.Base, Data.Singletons.Prelude
sAsum | Data.Singletons.Prelude.Foldable
SBool | Data.Singletons.Prelude.Bool, Data.Singletons.Prelude, Data.Singletons.CustomStar
sBool_ | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar
SBounded | Data.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sBreak |
1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
Scanl |
1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
Scanl1 |
1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
Scanl1Sym0 |
1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
Scanl1Sym1 |
1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
Scanl1Sym2 |
1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
ScanlSym0 |
1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
ScanlSym1 |
1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
ScanlSym2 |
1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
ScanlSym3 |
1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
Scanr |
1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
Scanr1 |
1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
Scanr1Sym0 |
1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
Scanr1Sym1 |
1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
Scanr1Sym2 |
1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
ScanrSym0 |
1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
ScanrSym1 |
1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
ScanrSym2 |
1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
ScanrSym3 |
1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
sCases | Data.Singletons.TH, Data.Singletons.CustomStar
sCatMaybes | Data.Singletons.Prelude.Maybe
SChar | Data.Singletons.Prelude.Show, Data.Singletons.Prelude
sCompare | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sComparing | Data.Singletons.Prelude.Ord
Sconcat | Data.Singletons.Prelude.Semigroup
sConcat | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
sConcatMap | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
SconcatSym0 | Data.Singletons.Prelude.Semigroup
SconcatSym1 | Data.Singletons.Prelude.Semigroup
SCons | Data.Singletons.Prelude.List, Data.Singletons.Prelude
sCons | Data.Singletons.Prelude.List.NonEmpty
SConst |
1 (Type/Class) | Data.Singletons.Prelude.Const, Data.Singletons.Prelude.Applicative
2 (Data Constructor) | Data.Singletons.Prelude.Const, Data.Singletons.Prelude.Applicative
sConst | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
sCurry | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
SDecide | Data.Singletons.Decide, Data.Singletons.TH, Data.Singletons.CustomStar
sDelete | Data.Singletons.Prelude.List
sDeleteBy | Data.Singletons.Prelude.List
sDeleteFirstsBy | Data.Singletons.Prelude.List
sDiv | Data.Singletons.TypeLits
sDivMod | Data.Singletons.TypeLits
SDown |
1 (Type/Class) | Data.Singletons.Prelude.Ord
2 (Data Constructor) | Data.Singletons.Prelude.Ord
sDrop |
1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sDropWhile |
1 (Function) | Data.Singletons.Prelude.List
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sDropWhileEnd | Data.Singletons.Prelude.List
SDual |
1 (Type/Class) | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
2 (Data Constructor) | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
SEither | Data.Singletons.Prelude.Either, Data.Singletons.Prelude
sEither_ | Data.Singletons.Prelude.Either, Data.Singletons.Prelude
sElem | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sElemIndex | Data.Singletons.Prelude.List
sElemIndices | Data.Singletons.Prelude.List
sEmpty | Data.Singletons.Prelude.Applicative
SEnum | Data.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sEnumFromThenTo | Data.Singletons.Prelude.Enum, Data.Singletons.Prelude
sEnumFromTo | Data.Singletons.Prelude.Enum, Data.Singletons.Prelude
SEQ | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SEq | Data.Singletons.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Seq | Data.Singletons.Prelude.Base, Data.Singletons.Prelude
SeqSym0 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude
SeqSym1 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude
SeqSym2 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude
Sequence | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SequenceA | Data.Singletons.Prelude.Traversable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SequenceASym0 | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude
SequenceASym1 | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude
SequenceA_ | Data.Singletons.Prelude.Foldable
SequenceA_Sym0 | Data.Singletons.Prelude.Foldable
SequenceA_Sym1 | Data.Singletons.Prelude.Foldable
SequenceSym0 | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
SequenceSym1 | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
Sequence_ | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
Sequence_Sym0 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
Sequence_Sym1 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
sError | Data.Singletons.TypeLits, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SErrorMessage | Data.Singletons.TypeError
sErrorWithoutStackTrace | Data.Singletons.TypeLits, Data.Singletons.Prelude
sFail | Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
SFalse | Data.Singletons.Prelude.Bool, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sFilter |
1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sFilterM | Data.Singletons.Prelude.Monad
sFind | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
sFindIndex | Data.Singletons.Prelude.List
sFindIndices | Data.Singletons.Prelude.List
SFirst |
1 (Type/Class) | Data.Singletons.Prelude.Semigroup
2 (Data Constructor) | Data.Singletons.Prelude.Semigroup
3 (Type/Class) | Data.Singletons.Prelude.Monoid
4 (Data Constructor) | Data.Singletons.Prelude.Monoid
sFlip | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
sFmap | Data.Singletons.Prelude.Functor, Data.Singletons.Prelude.Monad, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sFmapDefault | Data.Singletons.Prelude.Traversable
sFold | Data.Singletons.Prelude.Foldable, Data.Singletons.TH, Data.Singletons.CustomStar
SFoldable | Data.Singletons.Prelude.Foldable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sFoldl | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sFoldl' | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.CustomStar
sFoldl1 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sFoldl1' | Data.Singletons.Prelude.List
sFoldlM | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad
sFoldMap | Data.Singletons.Prelude.Foldable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sFoldMapDefault | Data.Singletons.Prelude.Traversable
sFoldr |
1 (Function) | Data.Singletons.Prelude.Base
2 (Function) | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sFoldr' | Data.Singletons.Prelude.Foldable, Data.Singletons.TH, Data.Singletons.CustomStar
sFoldr1 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sFoldrM | Data.Singletons.Prelude.Foldable
sFor | Data.Singletons.Prelude.Traversable
sForM | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad
sForM_ | Data.Singletons.Prelude.Foldable
sFor_ | Data.Singletons.Prelude.Foldable
sFromEnum | Data.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sFromInteger | Data.Singletons.Prelude.Num, Data.Singletons.Prelude
sFromJust | Data.Singletons.Prelude.Maybe
sFromList | Data.Singletons.Prelude.List.NonEmpty
sFromMaybe | Data.Singletons.Prelude.Maybe
sFromString | Data.Singletons.Prelude.IsString
sFst | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
SFunctor | Data.Singletons.Prelude.Functor, Data.Singletons.Prelude.Monad, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sGenericLength | Data.Singletons.Prelude.List
sGetAll | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
sGetAny | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
sGetConst | Data.Singletons.Prelude.Const, Data.Singletons.Prelude.Applicative
sGetDual | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
sGetFirst |
1 (Function) | Data.Singletons.Prelude.Semigroup
2 (Function) | Data.Singletons.Prelude.Monoid
sGetLast |
1 (Function) | Data.Singletons.Prelude.Semigroup
2 (Function) | Data.Singletons.Prelude.Monoid
sGetMax | Data.Singletons.Prelude.Semigroup
sGetMin | Data.Singletons.Prelude.Semigroup
sGetOption | Data.Singletons.Prelude.Semigroup
sGetProduct | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
sGetSum | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
sGroup |
1 (Function) | Data.Singletons.Prelude.List
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sGroup1 | Data.Singletons.Prelude.List.NonEmpty
sGroupAllWith | Data.Singletons.Prelude.List.NonEmpty
sGroupAllWith1 | Data.Singletons.Prelude.List.NonEmpty
sGroupBy |
1 (Function) | Data.Singletons.Prelude.List
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sGroupBy1 | Data.Singletons.Prelude.List.NonEmpty
sGroupWith | Data.Singletons.Prelude.List.NonEmpty
sGroupWith1 | Data.Singletons.Prelude.List.NonEmpty
SGT | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sGuard | Data.Singletons.Prelude.Monad
sHead |
1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
ShowChar | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowCharSym0 | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowCharSym1 | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowCharSym2 | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowCommaSpace | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.CustomStar
ShowCommaSpaceSym0 | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.CustomStar
ShowCommaSpaceSym1 | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.CustomStar
showErrorMessage | Data.Singletons.TypeError
ShowList | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowListSym0 | Data.Singletons.Prelude.Show, Data.Singletons.Prelude
ShowListSym1 | Data.Singletons.Prelude.Show, Data.Singletons.Prelude
ShowListSym2 | Data.Singletons.Prelude.Show, Data.Singletons.Prelude
ShowListWith | Data.Singletons.Prelude.Show
ShowListWithSym0 | Data.Singletons.Prelude.Show
ShowListWithSym1 | Data.Singletons.Prelude.Show
ShowListWithSym2 | Data.Singletons.Prelude.Show
ShowListWithSym3 | Data.Singletons.Prelude.Show
ShowParen | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowParenSym0 | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowParenSym1 | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowParenSym2 | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowS | Data.Singletons.Prelude
Shows | Data.Singletons.Prelude.Show, Data.Singletons.Prelude
ShowSing | Data.Singletons.ShowSing
ShowSpace | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.CustomStar
ShowSpaceSym0 | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.CustomStar
ShowSpaceSym1 | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.CustomStar
ShowsPrec | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowsPrecSym0 | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowsPrecSym1 | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowsPrecSym2 | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowsPrecSym3 | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowsSym0 | Data.Singletons.Prelude.Show, Data.Singletons.Prelude
ShowsSym1 | Data.Singletons.Prelude.Show, Data.Singletons.Prelude
ShowsSym2 | Data.Singletons.Prelude.Show, Data.Singletons.Prelude
ShowString | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowStringSym0 | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowStringSym1 | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowStringSym2 | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowType | Data.Singletons.TypeError
ShowTypeSym0 | Data.Singletons.TypeError
ShowTypeSym1 | Data.Singletons.TypeError
Show_ | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
show_ | Data.Singletons.Prelude.Show, Data.Singletons.Prelude
Show_Sym0 | Data.Singletons.Prelude.Show, Data.Singletons.Prelude
Show_Sym1 | Data.Singletons.Prelude.Show, Data.Singletons.Prelude
sId | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
SIdentity |
1 (Type/Class) | Data.Singletons.Prelude.Identity
2 (Data Constructor) | Data.Singletons.Prelude.Identity
sIf | Data.Singletons.Prelude.Bool, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Sigma | Data.Singletons.Sigma
Signum | Data.Singletons.Prelude.Num, Data.Singletons.Prelude
SignumSym0 | Data.Singletons.Prelude.Num, Data.Singletons.Prelude
SignumSym1 | Data.Singletons.Prelude.Num, Data.Singletons.Prelude
Sing |

1 (Type/Class)

Data.Singletons.Prelude.Void, Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude.Bool, Data.Singletons.TypeRepTYPE, Data.Singletons.Prelude.Ord, Data.Singletons.TypeLits, Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Either, Data.Singletons.Prelude.Identity, Data.Singletons.Prelude.Const, Data.Singletons.Prelude.Semigroup, Data.Singletons.Prelude.List, Data.Singletons.Prelude.List.NonEmpty, Data.Singletons.Prelude.Applicative, Data.Singletons, Data.Singletons.TH, Data.Singletons.TypeError, Data.Singletons.Prelude, Data.Singletons.CustomStar

2 (Data Constructor) | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sing | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singBoundedInstance | Data.Singletons.TH, Data.Singletons.CustomStar
singBoundedInstances | Data.Singletons.TH, Data.Singletons.CustomStar
singByProxy | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singByProxy# | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singDecideInstance | Data.Singletons.TH, Data.Singletons.CustomStar
singDecideInstances | Data.Singletons.TH, Data.Singletons.CustomStar
singEnumInstance | Data.Singletons.TH, Data.Singletons.CustomStar
singEnumInstances | Data.Singletons.TH, Data.Singletons.CustomStar
singEqInstance | Data.Singletons.TH, Data.Singletons.CustomStar
singEqInstanceOnly | Data.Singletons.TH, Data.Singletons.CustomStar
singEqInstances | Data.Singletons.TH, Data.Singletons.CustomStar
singEqInstancesOnly | Data.Singletons.TH, Data.Singletons.CustomStar
singFun1 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singFun2 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singFun3 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singFun4 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singFun5 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singFun6 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singFun7 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singFun8 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SingFunction1 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SingFunction2 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SingFunction3 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SingFunction4 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SingFunction5 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SingFunction6 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SingFunction7 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SingFunction8 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SingI | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SingInstance |
1 (Type/Class) | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
2 (Data Constructor) | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singInstance | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SingKind | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singletons | Data.Singletons.TH, Data.Singletons.CustomStar
singletonsOnly | Data.Singletons.TH, Data.Singletons.CustomStar
singletonStar | Data.Singletons.CustomStar
singOrdInstance | Data.Singletons.TH, Data.Singletons.CustomStar
singOrdInstances | Data.Singletons.TH, Data.Singletons.CustomStar
singShowInstance | Data.Singletons.TH, Data.Singletons.CustomStar
singShowInstances | Data.Singletons.TH, Data.Singletons.CustomStar
singThat | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sInit |
1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sInits |
1 (Function) | Data.Singletons.Prelude.List
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sInsert |
1 (Function) | Data.Singletons.Prelude.List
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sInsertBy | Data.Singletons.Prelude.List
sIntercalate | Data.Singletons.Prelude.List
sIntersect | Data.Singletons.Prelude.List
sIntersectBy | Data.Singletons.Prelude.List
sIntersperse |
1 (Function) | Data.Singletons.Prelude.List
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sIsInfixOf | Data.Singletons.Prelude.List
sIsJust | Data.Singletons.Prelude.Maybe
sIsLeft | Data.Singletons.Prelude.Either
sIsNothing | Data.Singletons.Prelude.Maybe
sIsPrefixOf |
1 (Function) | Data.Singletons.Prelude.List
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sIsRight | Data.Singletons.Prelude.Either
SIsString | Data.Singletons.Prelude.IsString
sIsSuffixOf | Data.Singletons.Prelude.List
sJoin | Data.Singletons.Prelude.Monad
SJust | Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude
SLambda | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SLambda2 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SLambda3 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SLambda4 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SLambda5 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SLambda6 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SLambda7 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SLambda8 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SLast |
1 (Type/Class) | Data.Singletons.Prelude.Semigroup
2 (Data Constructor) | Data.Singletons.Prelude.Semigroup
3 (Type/Class) | Data.Singletons.Prelude.Monoid
4 (Data Constructor) | Data.Singletons.Prelude.Monoid
sLast |
1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
SLeft | Data.Singletons.Prelude.Either, Data.Singletons.Prelude
sLefts | Data.Singletons.Prelude.Either
sLength |
1 (Function) | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.CustomStar
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sLiftA | Data.Singletons.Prelude.Applicative
sLiftA2 | Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.CustomStar
sLiftA3 | Data.Singletons.Prelude.Applicative
sLiftM | Data.Singletons.Prelude.Monad
sLiftM2 | Data.Singletons.Prelude.Monad
sLiftM3 | Data.Singletons.Prelude.Monad
sLiftM4 | Data.Singletons.Prelude.Monad
sLiftM5 | Data.Singletons.Prelude.Monad
SList | Data.Singletons.Prelude.List, Data.Singletons.Prelude
sListToMaybe | Data.Singletons.Prelude.Maybe
sLog2 | Data.Singletons.TypeLits
sLookup | Data.Singletons.Prelude.List, Data.Singletons.Prelude
SLT | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sMap |
1 (Function) | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sMapAccumL | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.List
sMapAccumR | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.List
sMapAndUnzipM | Data.Singletons.Prelude.Monad
sMapM | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sMapMaybe | Data.Singletons.Prelude.Maybe
sMapM_ | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
sMappend | Data.Singletons.Prelude.Monoid, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SMax |
1 (Type/Class) | Data.Singletons.Prelude.Semigroup
2 (Data Constructor) | Data.Singletons.Prelude.Semigroup
sMax | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sMaxBound | Data.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sMaximum | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sMaximumBy | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
SMaybe | Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude
sMaybeToList | Data.Singletons.Prelude.Maybe
sMaybe_ | Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude
sMconcat | Data.Singletons.Prelude.Monoid, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sMempty | Data.Singletons.Prelude.Monoid, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sMfilter | Data.Singletons.Prelude.Monad
SMin |
1 (Type/Class) | Data.Singletons.Prelude.Semigroup
2 (Data Constructor) | Data.Singletons.Prelude.Semigroup
sMin | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sMinBound | Data.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sMinimum | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sMinimumBy | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
sMod | Data.Singletons.TypeLits
SMonad | Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
SMonadPlus | Data.Singletons.Prelude.Monad
SMonadZip | Data.Singletons.Prelude.Monad.Zip
SMonoid | Data.Singletons.Prelude.Monoid, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sMplus | Data.Singletons.Prelude.Monad
sMsum | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad
sMunzip | Data.Singletons.Prelude.Monad.Zip
sMzero | Data.Singletons.Prelude.Monad
sMzip | Data.Singletons.Prelude.Monad.Zip
sMzipWith | Data.Singletons.Prelude.Monad.Zip
SNat |
1 (Type/Class) | Data.Singletons.TypeLits
2 (Data Constructor) | Data.Singletons.TypeLits
Snd | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
SndSym0 | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
SndSym1 | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
sNegate | Data.Singletons.Prelude.Num, Data.Singletons.Prelude
SNil | Data.Singletons.Prelude.List, Data.Singletons.Prelude
SNonEmpty | Data.Singletons.Prelude.List.NonEmpty
sNonEmpty_ | Data.Singletons.Prelude.List.NonEmpty
sNot | Data.Singletons.Prelude.Bool, Data.Singletons.Prelude, Data.Singletons.CustomStar
sNotElem | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
SNothing | Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude
sNub |
1 (Function) | Data.Singletons.Prelude.List
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sNubBy |
1 (Function) | Data.Singletons.Prelude.List
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sNull | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SNum | Data.Singletons.Prelude.Num, Data.Singletons.Prelude
SomeSing |
1 (Type/Class) | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
2 (Data Constructor) | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SomeTypeRepTYPE |
1 (Type/Class) | Data.Singletons.TypeRepTYPE
2 (Data Constructor) | Data.Singletons.TypeRepTYPE
sOn | Data.Singletons.Prelude.Function
SOption |
1 (Type/Class) | Data.Singletons.Prelude.Semigroup
2 (Data Constructor) | Data.Singletons.Prelude.Semigroup
sOptional | Data.Singletons.Prelude.Applicative
sOption_ | Data.Singletons.Prelude.Semigroup
sOr | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
SOrd | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SOrdering | Data.Singletons.Prelude.Ord, Data.Singletons.Prelude
Sort |
1 (Type/Class) | Data.Singletons.Prelude.List
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
SortBy |
1 (Type/Class) | Data.Singletons.Prelude.List
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
SortBySym0 |
1 (Type/Class) | Data.Singletons.Prelude.List
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
SortBySym1 |
1 (Type/Class) | Data.Singletons.Prelude.List
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
SortBySym2 |
1 (Type/Class) | Data.Singletons.Prelude.List
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
SortSym0 |
1 (Type/Class) | Data.Singletons.Prelude.List
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
SortSym1 |
1 (Type/Class) | Data.Singletons.Prelude.List
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
SortWith | Data.Singletons.Prelude.List.NonEmpty
SortWithSym0 | Data.Singletons.Prelude.List.NonEmpty
SortWithSym1 | Data.Singletons.Prelude.List.NonEmpty
SortWithSym2 | Data.Singletons.Prelude.List.NonEmpty
sOtherwise | Data.Singletons.Prelude.Bool, Data.Singletons.Prelude.Base, Data.Singletons.Prelude, Data.Singletons.CustomStar
Span |
1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
SpanSym0 |
1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
SpanSym1 |
1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
SpanSym2 |
1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
sPartition |
1 (Function) | Data.Singletons.Prelude.List
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sPartitionEithers | Data.Singletons.Prelude.Either
sPermutations | Data.Singletons.Prelude.List
SplitAt |
1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
SplitAtSym0 |
1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
SplitAtSym1 |
1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
SplitAtSym2 |
1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
sPred | Data.Singletons.Prelude.Enum
SProduct |
1 (Type/Class) | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
2 (Data Constructor) | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
sProduct | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sPure | Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sQuot | Data.Singletons.TypeLits
sQuotRem | Data.Singletons.TypeLits
sRem | Data.Singletons.TypeLits
sReplicate | Data.Singletons.Prelude.List, Data.Singletons.Prelude
sReplicateM | Data.Singletons.Prelude.Monad
sReplicateM_ | Data.Singletons.Prelude.Monad
sReturn | Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
sReverse |
1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
SRight | Data.Singletons.Prelude.Either, Data.Singletons.Prelude
sRights | Data.Singletons.Prelude.Either
sRunIdentity | Data.Singletons.Prelude.Identity
sScanl |
1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sScanl1 |
1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sScanr |
1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sScanr1 |
1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sSconcat | Data.Singletons.Prelude.Semigroup
SSemigroup | Data.Singletons.Prelude.Semigroup, Data.Singletons.Prelude
sSeq | Data.Singletons.Prelude.Base, Data.Singletons.Prelude
sSequence | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sSequenceA | Data.Singletons.Prelude.Traversable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sSequenceA_ | Data.Singletons.Prelude.Foldable
sSequence_ | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
SShow | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sShowChar | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sShowCommaSpace | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.CustomStar
sShowList | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sShowListWith | Data.Singletons.Prelude.Show
sShowParen | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sShows | Data.Singletons.Prelude.Show, Data.Singletons.Prelude
sShowSpace | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.CustomStar
sShowsPrec | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sShowString | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SShowType | Data.Singletons.TypeError
sShow_ | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sSignum | Data.Singletons.Prelude.Num, Data.Singletons.Prelude
sSnd | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
sSort |
1 (Function) | Data.Singletons.Prelude.List
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sSortBy |
1 (Function) | Data.Singletons.Prelude.List
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sSortWith | Data.Singletons.Prelude.List.NonEmpty
sSpan |
1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sSplitAt |
1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sSubsequences | Data.Singletons.Prelude.List
sSubtract | Data.Singletons.Prelude.Num, Data.Singletons.Prelude
sSucc | Data.Singletons.Prelude.Enum
SSum |
1 (Type/Class) | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
2 (Data Constructor) | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
sSum | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sSwap | Data.Singletons.Prelude.Tuple
SSym | Data.Singletons.TypeLits
SSymbol | Data.Singletons.TypeLits
sTail |
1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sTails |
1 (Function) | Data.Singletons.Prelude.List
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sTake |
1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sTakeWhile |
1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
SText | Data.Singletons.TypeError
sThenCmp | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.CustomStar
sToEnum | Data.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sToList |
1 (Function) | Data.Singletons.Prelude.Foldable, Data.Singletons.TH, Data.Singletons.CustomStar
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sTranspose |
1 (Function) | Data.Singletons.Prelude.List
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
STraversable | Data.Singletons.Prelude.Traversable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sTraverse | Data.Singletons.Prelude.Traversable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sTraverse_ | Data.Singletons.Prelude.Foldable
StripPrefix | Data.Singletons.Prelude.List
StripPrefixSym0 | Data.Singletons.Prelude.List
StripPrefixSym1 | Data.Singletons.Prelude.List
StripPrefixSym2 | Data.Singletons.Prelude.List
STrue | Data.Singletons.Prelude.Bool, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
STuple0 |
1 (Type/Class) | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
2 (Data Constructor) | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
STuple2 |
1 (Type/Class) | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
2 (Data Constructor) | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
STuple3 |
1 (Type/Class) | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
2 (Data Constructor) | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
STuple4 |
1 (Type/Class) | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
2 (Data Constructor) | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
STuple5 |
1 (Type/Class) | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
2 (Data Constructor) | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
STuple6 |
1 (Type/Class) | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
2 (Data Constructor) | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
STuple7 |
1 (Type/Class) | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
2 (Data Constructor) | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sTypeError | Data.Singletons.TypeError
STypeRep | Data.Singletons.TypeRepTYPE
Subsequences | Data.Singletons.Prelude.List
SubsequencesSym0 | Data.Singletons.Prelude.List
SubsequencesSym1 | Data.Singletons.Prelude.List
Subtract | Data.Singletons.Prelude.Num, Data.Singletons.Prelude
SubtractSym0 | Data.Singletons.Prelude.Num, Data.Singletons.Prelude
SubtractSym1 | Data.Singletons.Prelude.Num, Data.Singletons.Prelude
SubtractSym2 | Data.Singletons.Prelude.Num, Data.Singletons.Prelude
Succ | Data.Singletons.Prelude.Enum
SuccSym0 | Data.Singletons.Prelude.Enum
SuccSym1 | Data.Singletons.Prelude.Enum
Sum | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SumSym0 |
1 (Type/Class) | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
2 (Type/Class) | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
SumSym1 |
1 (Type/Class) | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
2 (Type/Class) | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
sUncons | Data.Singletons.Prelude.List.NonEmpty
sUncurry | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
sUndefined | Data.Singletons.TypeLits, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sUnfold | Data.Singletons.Prelude.List.NonEmpty
sUnfoldr |
1 (Function) | Data.Singletons.Prelude.List
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sUnion | Data.Singletons.Prelude.List
sUnionBy | Data.Singletons.Prelude.List
sUnless | Data.Singletons.Prelude.Monad
sUnlines | Data.Singletons.Prelude.List, Data.Singletons.Prelude
sUntil | Data.Singletons.Prelude.Base
sUnwords | Data.Singletons.Prelude.List, Data.Singletons.Prelude
sUnwrapMonoid | Data.Singletons.Prelude.Semigroup
sUnzip |
1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sUnzip3 | Data.Singletons.Prelude.List, Data.Singletons.Prelude
sUnzip4 | Data.Singletons.Prelude.List
sUnzip5 | Data.Singletons.Prelude.List
sUnzip6 | Data.Singletons.Prelude.List
sUnzip7 | Data.Singletons.Prelude.List
SuppressUnusedWarnings | Data.Singletons.SuppressUnusedWarnings, Data.Singletons.TH, Data.Singletons.CustomStar
suppressUnusedWarnings | Data.Singletons.SuppressUnusedWarnings, Data.Singletons.TH, Data.Singletons.CustomStar
SVoid | Data.Singletons.Prelude.Void
sVoid | Data.Singletons.Prelude.Functor, Data.Singletons.Prelude.Monad
Swap | Data.Singletons.Prelude.Tuple
SwapSym0 | Data.Singletons.Prelude.Tuple
SwapSym1 | Data.Singletons.Prelude.Tuple
sWhen | Data.Singletons.Prelude.Monad
SWrapMonoid | Data.Singletons.Prelude.Semigroup
SWrappedMonoid | Data.Singletons.Prelude.Semigroup
sXor | Data.Singletons.Prelude.List.NonEmpty
Symbol | Data.Singletons.TypeLits, Data.Singletons.Prelude
SymbolS | Data.Singletons.Prelude.Show
symbolVal | Data.Singletons.TypeLits
sZip |
1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sZip3 | Data.Singletons.Prelude.List, Data.Singletons.Prelude
sZipWith |
1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sZipWith3 | Data.Singletons.Prelude.List, Data.Singletons.Prelude
sZipWithM | Data.Singletons.Prelude.Monad
sZipWithM_ | Data.Singletons.Prelude.Monad