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 - M

Map |
1 (Type/Class) | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
MapAccumL | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.List
MapAccumLSym0 | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.List
MapAccumLSym1 | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.List
MapAccumLSym2 | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.List
MapAccumLSym3 | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.List
MapAccumR | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.List
MapAccumRSym0 | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.List
MapAccumRSym1 | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.List
MapAccumRSym2 | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.List
MapAccumRSym3 | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.List
MapAndUnzipM | Data.Singletons.Prelude.Monad
MapAndUnzipMSym0 | Data.Singletons.Prelude.Monad
MapAndUnzipMSym1 | Data.Singletons.Prelude.Monad
MapAndUnzipMSym2 | Data.Singletons.Prelude.Monad
MapM | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
MapMaybe | Data.Singletons.Prelude.Maybe
MapMaybeSym0 | Data.Singletons.Prelude.Maybe
MapMaybeSym1 | Data.Singletons.Prelude.Maybe
MapMaybeSym2 | Data.Singletons.Prelude.Maybe
MapMSym0 | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
MapMSym1 | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
MapMSym2 | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
MapM_ | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
MapM_Sym0 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
MapM_Sym1 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
MapM_Sym2 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
Mappend | Data.Singletons.Prelude.Monoid, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
MappendSym0 | Data.Singletons.Prelude.Monoid, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
MappendSym1 | Data.Singletons.Prelude.Monoid, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
MappendSym2 | Data.Singletons.Prelude.Monoid, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
mapSigma | Data.Singletons.Sigma
MapSym0 |
1 (Type/Class) | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
MapSym1 |
1 (Type/Class) | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
MapSym2 |
1 (Type/Class) | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
Max | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
MaxBound | Data.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
MaxBoundSym0 | Data.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Maximum | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
MaximumBy | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
MaximumBySym0 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
MaximumBySym1 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
MaximumBySym2 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
MaximumSym0 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
MaximumSym1 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
MaxSym0 |
1 (Type/Class) | Data.Singletons.Prelude.Ord, Data.Singletons.Prelude
2 (Type/Class) | Data.Singletons.Prelude.Semigroup
MaxSym1 |
1 (Type/Class) | Data.Singletons.Prelude.Ord, Data.Singletons.Prelude
2 (Type/Class) | Data.Singletons.Prelude.Semigroup
MaxSym2 | Data.Singletons.Prelude.Ord, Data.Singletons.Prelude
MaybeToList | Data.Singletons.Prelude.Maybe
MaybeToListSym0 | Data.Singletons.Prelude.Maybe
MaybeToListSym1 | Data.Singletons.Prelude.Maybe
Maybe_ | Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude
maybe_ | Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude
Maybe_Sym0 | Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude
Maybe_Sym1 | Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude
Maybe_Sym2 | Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude
Maybe_Sym3 | Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude
Mconcat | Data.Singletons.Prelude.Monoid, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
MconcatSym0 | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude
MconcatSym1 | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude
Mempty | Data.Singletons.Prelude.Monoid, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
MemptySym0 | Data.Singletons.Prelude.Monoid, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Mfilter | Data.Singletons.Prelude.Monad
MfilterSym0 | Data.Singletons.Prelude.Monad
MfilterSym1 | Data.Singletons.Prelude.Monad
MfilterSym2 | Data.Singletons.Prelude.Monad
Min | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
MinBound | Data.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
MinBoundSym0 | Data.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Minimum | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
MinimumBy | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
MinimumBySym0 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
MinimumBySym1 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
MinimumBySym2 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
MinimumSym0 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
MinimumSym1 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
MinSym0 |
1 (Type/Class) | Data.Singletons.Prelude.Ord, Data.Singletons.Prelude
2 (Type/Class) | Data.Singletons.Prelude.Semigroup
MinSym1 |
1 (Type/Class) | Data.Singletons.Prelude.Ord, Data.Singletons.Prelude
2 (Type/Class) | Data.Singletons.Prelude.Semigroup
MinSym2 | Data.Singletons.Prelude.Ord, Data.Singletons.Prelude
Mod | Data.Singletons.TypeLits
ModSym0 | Data.Singletons.TypeLits
ModSym1 | Data.Singletons.TypeLits
ModSym2 | Data.Singletons.TypeLits
Mplus | Data.Singletons.Prelude.Monad
MplusSym0 | Data.Singletons.Prelude.Monad
MplusSym1 | Data.Singletons.Prelude.Monad
MplusSym2 | Data.Singletons.Prelude.Monad
Msum | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad
MsumSym0 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad
MsumSym1 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad
Munzip | Data.Singletons.Prelude.Monad.Zip
MunzipSym0 | Data.Singletons.Prelude.Monad.Zip
MunzipSym1 | Data.Singletons.Prelude.Monad.Zip
Mzero | Data.Singletons.Prelude.Monad
MzeroSym0 | Data.Singletons.Prelude.Monad
Mzip | Data.Singletons.Prelude.Monad.Zip
MzipSym0 | Data.Singletons.Prelude.Monad.Zip
MzipSym1 | Data.Singletons.Prelude.Monad.Zip
MzipSym2 | Data.Singletons.Prelude.Monad.Zip
MzipWith | Data.Singletons.Prelude.Monad.Zip
MzipWithSym0 | Data.Singletons.Prelude.Monad.Zip
MzipWithSym1 | Data.Singletons.Prelude.Monad.Zip
MzipWithSym2 | Data.Singletons.Prelude.Monad.Zip
MzipWithSym3 | Data.Singletons.Prelude.Monad.Zip