singletons-2.6: 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 - P

PAlternative | Data.Singletons.Prelude.Applicative
PApplicative | Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Partition |
1 (Type/Class) | Data.Singletons.Prelude.List
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
PartitionEithers | Data.Singletons.Prelude.Either
PartitionSym0 |
1 (Type/Class) | Data.Singletons.Prelude.List
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
PartitionSym1 |
1 (Type/Class) | Data.Singletons.Prelude.List
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
PartitionSym2 |
1 (Type/Class) | Data.Singletons.Prelude.List
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
PBounded | Data.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
PEnum | Data.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
PEq | Data.Singletons.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Permutations | Data.Singletons.Prelude.List
PermutationsSym0 | Data.Singletons.Prelude.List
PermutationsSym1 | Data.Singletons.Prelude.List
PErrorMessage | Data.Singletons.TypeError
PFoldable | Data.Singletons.Prelude.Foldable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
PFunctor | Data.Singletons.Prelude.Functor, Data.Singletons.Prelude.Monad, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
PIsString | Data.Singletons.Prelude.IsString
PMonad | Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
PMonadFail | Data.Singletons.Prelude.Monad.Fail, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
PMonadPlus | Data.Singletons.Prelude.Monad
PMonadZip | Data.Singletons.Prelude.Monad.Zip
PMonoid | Data.Singletons.Prelude.Monoid, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
PNum | Data.Singletons.Prelude.Num, Data.Singletons.Prelude
POrd | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Pred | Data.Singletons.Prelude.Enum
PredSym0 | Data.Singletons.Prelude.Enum
PredSym1 | Data.Singletons.Prelude.Enum
Product | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
ProductSym0 |
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
ProductSym1 |
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
projSigma1 | Data.Singletons.Sigma
projSigma2 | Data.Singletons.Sigma
promote | Data.Singletons.TH, Data.Singletons.CustomStar
promoteBoundedInstance | Data.Singletons.TH, Data.Singletons.CustomStar
promoteBoundedInstances | Data.Singletons.TH, Data.Singletons.CustomStar
promoteEnumInstance | Data.Singletons.TH, Data.Singletons.CustomStar
promoteEnumInstances | Data.Singletons.TH, Data.Singletons.CustomStar
promoteEqInstance | Data.Singletons.TH, Data.Singletons.CustomStar
promoteEqInstances | Data.Singletons.TH, Data.Singletons.CustomStar
promoteOnly | Data.Singletons.TH, Data.Singletons.CustomStar
promoteOrdInstance | Data.Singletons.TH, Data.Singletons.CustomStar
promoteOrdInstances | Data.Singletons.TH, Data.Singletons.CustomStar
promoteShowInstance | Data.Singletons.TH, Data.Singletons.CustomStar
promoteShowInstances | Data.Singletons.TH, Data.Singletons.CustomStar
Proved | Data.Singletons.Decide, Data.Singletons.TH, Data.Singletons.CustomStar
Proxy |
1 (Data Constructor) | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
2 (Type/Class) | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
PSemigroup | Data.Singletons.Prelude.Semigroup, Data.Singletons.Prelude
PShow | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
PTraversable | Data.Singletons.Prelude.Traversable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Pure | Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
PureSym0 | Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
PureSym1 | Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar