singletons-2.5: A framework for generating singleton types

Index - P

PAlternativeData.Singletons.Prelude.Applicative
PApplicativeData.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
PartitionEithersData.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
PBoundedData.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
PEnumData.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
PEqData.Singletons.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
PermutationsData.Singletons.Prelude.List
PermutationsSym0Data.Singletons.Prelude.List
PermutationsSym1Data.Singletons.Prelude.List
PErrorMessageData.Singletons.TypeError
PFoldableData.Singletons.Prelude.Foldable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
PFunctorData.Singletons.Prelude.Functor, Data.Singletons.Prelude.Monad, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
PIsStringData.Singletons.Prelude.IsString
PMonadData.Singletons.Prelude.Monad, Data.Singletons.Prelude
PMonadPlusData.Singletons.Prelude.Monad
PMonadZipData.Singletons.Prelude.Monad.Zip
PMonoidData.Singletons.Prelude.Monoid, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
PNumData.Singletons.Prelude.Num, Data.Singletons.Prelude
POrdData.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
PredData.Singletons.Prelude.Enum
PredSym0Data.Singletons.Prelude.Enum
PredSym1Data.Singletons.Prelude.Enum
ProductData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, 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
projSigma1Data.Singletons.Sigma
projSigma2Data.Singletons.Sigma
promoteData.Singletons.TH, Data.Singletons.CustomStar
promoteBoundedInstanceData.Singletons.TH, Data.Singletons.CustomStar
promoteBoundedInstancesData.Singletons.TH, Data.Singletons.CustomStar
promoteEnumInstanceData.Singletons.TH, Data.Singletons.CustomStar
promoteEnumInstancesData.Singletons.TH, Data.Singletons.CustomStar
promoteEqInstanceData.Singletons.TH, Data.Singletons.CustomStar
promoteEqInstancesData.Singletons.TH, Data.Singletons.CustomStar
promoteOnlyData.Singletons.TH, Data.Singletons.CustomStar
promoteOrdInstanceData.Singletons.TH, Data.Singletons.CustomStar
promoteOrdInstancesData.Singletons.TH, Data.Singletons.CustomStar
promoteShowInstanceData.Singletons.TH, Data.Singletons.CustomStar
promoteShowInstancesData.Singletons.TH, Data.Singletons.CustomStar
ProvedData.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
PSemigroupData.Singletons.Prelude.Semigroup, Data.Singletons.Prelude
PShowData.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
PTraversableData.Singletons.Prelude.Traversable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
PureData.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
PureSym0Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
PureSym1Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar