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


-- | Functional Pearl: Implicit Configurations
--   
--   Implementation of the ideas presented in the paper <a>Functional
--   Pearl: Implicit Configurations</a> by Oleg Kiselyov and Chung-chieh
--   Shan. Modified to avoid the use of scoped type variables, and to use a
--   phantom type wrapper rather than dummy arguments.
@package reflection
@version 0.3.2


-- | Based on the Functional Pearl: Implicit Configurations paper by Oleg
--   Kiselyov and Chung-chieh Shan.
--   
--   <a>http://www.cs.rutgers.edu/~ccshan/prepose/prepose.pdf</a>
--   
--   Modified to minimize extensions and work with Data.Tagged rather than
--   explicit scoped type variables by Edward Kmett.
module Data.Reflection
class ReifiesNum s
reflectNum :: (ReifiesNum s, Num a) => Tagged s a
reifyIntegral :: Integral a => a -> (forall s. ReifiesNum s => Tagged s w) -> w
class ReifiesNums ss
reifyIntegrals :: Integral a => [a] -> (forall ss. ReifiesNums ss => Tagged ss w) -> w
class ReifiesStorable s
reflectStorable :: (ReifiesStorable s, Storable a) => Tagged (s a) a
reifyStorable :: Storable a => a -> (forall s. ReifiesStorable s => Tagged (s a) w) -> w
class Reifies s a | s -> a
reflect :: Reifies s a => Tagged s a
reify :: a -> (forall s. Reifies s a => Tagged s w) -> w
instance Show Zero
instance Show (Twice s)
instance Show (Succ s)
instance Show (Pred s)
instance ReifiesStorable s => Reifies (Stable s a) a
instance Unused (Stable s a)
instance ReifiesNums s => ReifiesStorable (Store s)
instance Unused (Store s a)
instance (ReifiesNum s, ReifiesNums ss) => ReifiesNums (Cons s ss)
instance ReifiesNums Nil
instance Unused (Cons s ss)
instance Unused Nil
instance ReifiesNum s => ReifiesNum (Pred s)
instance ReifiesNum s => ReifiesNum (Succ s)
instance ReifiesNum s => ReifiesNum (Twice s)
instance ReifiesNum Zero
instance Unused (Pred s)
instance Unused (Succ s)
instance Unused (Twice s)
instance Unused Zero