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

%!! |
1 (Function) | Data.Singletons.Prelude.List
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
%$ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
%$! | Data.Singletons.Prelude.Base, Data.Singletons.Prelude
%$> | Data.Singletons.Prelude.Functor
%& | Data.Singletons.Prelude.Function
%&& | Data.Singletons.Prelude.Bool, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
%* | Data.Singletons.Prelude.Num, Data.Singletons.Prelude
%*> | Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
%+ | Data.Singletons.Prelude.Num, Data.Singletons.Prelude
%++ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude
%- | Data.Singletons.Prelude.Num, Data.Singletons.Prelude
%. | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
%/= | Data.Singletons.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
%< | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
%<$ | Data.Singletons.Prelude.Functor, Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
%<$!> | Data.Singletons.Prelude.Monad
%<$> | Data.Singletons.Prelude.Functor, Data.Singletons.Prelude.Applicative, Data.Singletons.Prelude
%<&> | Data.Singletons.Prelude.Functor
%<* | Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
%<**> | Data.Singletons.Prelude.Applicative
%<*> | Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
%<= | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
%<=< | Data.Singletons.Prelude.Monad
%<=? | Data.Singletons.TypeLits
%<> | Data.Singletons.Prelude.Semigroup, Data.Singletons.Prelude
%<| | Data.Singletons.Prelude.List.NonEmpty
%<|> | Data.Singletons.Prelude.Applicative
%=<< | Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
%== | Data.Singletons.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
%> | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
%>= | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
%>=> | Data.Singletons.Prelude.Monad
%>> | Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
%>>= | Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
%\\ | Data.Singletons.Prelude.List
%^ | Data.Singletons.TypeLits, Data.Singletons.Prelude
%|| | Data.Singletons.Prelude.Bool, Data.Singletons.Prelude, Data.Singletons.CustomStar
%~ | Data.Singletons.Decide, Data.Singletons.TH, Data.Singletons.CustomStar