-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | proxy helpers
--   
--   This module contains a bunch of pre-defined proxies so that users
--   don't <i>always</i> have to write <tt>(Proxy :: Proxy Word8)</tt>,
--   etc. It is recommended that you import this module qualified to avoid
--   naming conflicts.
@package proxy
@version 0.1.0.0


-- | This module contains a bunch of pre-defined proxies so that users
--   don't <i>always</i> have to write <tt>(Proxy :: Proxy Word8)</tt>,
--   etc.
--   
--   This library uses the naming convention of 1, 2, 3, etc. as suffixes
--   to denote higher-kindedness of the proxied type.
--   
--   For example:
--   
--   <pre>
--   const :: Proxy (Const a b)
--   -- ^ <tt>Const a b</tt> is kinded <a>*</a>, so there is no number
--   --   appended to the name of the type.
--   const1 :: Proxy (Const a)
--   -- ^ <tt>Const a</tt> is kinded <a>*</a> '-&gt;' <a>*</a>, so there is the
--   --   number 1 appended to the name of the type.
--   const2 :: Proxy Const
--   -- ^ <tt>Const</tt> is kinded <a>*</a> '-&gt;' <a>*</a>, so there is the 
--   --   number 2 appended to the name of the type.
--   
--   </pre>
--   
--   It is recommended that you import this module qualified to avoid
--   naming conflicts.
module Proxy
bool :: Proxy Bool
char :: Proxy Char
complex :: Proxy (Complex a)
complex1 :: Proxy Complex
compose :: Proxy (Compose f g a)
compose1 :: Proxy (Compose f g)
compose2 :: Proxy (Compose f)
compose3 :: Proxy Compose
const :: Proxy (Const a b)
const1 :: Proxy (Const a)
const2 :: Proxy Const
constr :: Proxy Constr
constraint :: Proxy Constraint
datarep :: Proxy DataRep
datatype :: Proxy DataType
dynamic :: Proxy Dynamic
e0 :: Proxy E0
e1 :: Proxy E1
e2 :: Proxy E2
e3 :: Proxy E3
e6 :: Proxy E6
e9 :: Proxy E9
e12 :: Proxy E12
either :: Proxy (Either a b)
either1 :: Proxy (Either a)
either2 :: Proxy Either
fixed :: Proxy (Fixed a)
fixed1 :: Proxy Fixed
fixity :: Proxy Fixity
hrefl :: Proxy (a :~~: b)
hrefl1 :: Proxy ((:~~:) a)
hrefl2 :: Proxy (:~~:)
identity :: Proxy (Identity a)
identity1 :: Proxy Identity
ioref :: Proxy (IORef a)
ioref1 :: Proxy IORef
int :: Proxy Int
int8 :: Proxy Int8
int16 :: Proxy Int16
int32 :: Proxy Int32
int64 :: Proxy Int64
list :: Proxy [a]
list1 :: Proxy []
nonEmpty :: Proxy (NonEmpty a)
maybe :: Proxy (Maybe a)
maybe1 :: Proxy Maybe
nonEmpty1 :: Proxy NonEmpty
ordering :: Proxy Ordering
proxy :: Proxy (Proxy a)
proxy1 :: Proxy Proxy
ratio :: Proxy (Ratio a)
ratio1 :: Proxy Ratio
refl :: Proxy (a :~: b)
refl1 :: Proxy ((:~:) a)
refl2 :: Proxy (:~:)
string :: Proxy String
tuple :: Proxy (a, b)
tuple1 :: Proxy ((,) a)
tuple2 :: Proxy (,)
word :: Proxy Word
word8 :: Proxy Word8
word16 :: Proxy Word16
word32 :: Proxy Word32
word64 :: Proxy Word64
unique :: Proxy Unique
version :: Proxy Version
void :: Proxy Void