Generics.RepLib.R

Basic data structure and class for representation types

Documentation

data R a where

A value of type R a is a representation of a type a.

Constructors

Int :: R Int

Char :: R Char

Integer :: R Integer

Float :: R Float

Double :: R Double

Rational :: R Rational

IOError :: R IOError

IO :: Rep a => R a -> R (IO a)

Arrow :: (Rep a, Rep b) => R a -> R b -> R (a -> b)

Data :: DT -> [Con R a] -> R a

Abstract :: DT -> R a

Equal :: (Rep a, Rep b) => R a -> R b -> R (a :~: b)

Instances

Eq (R a)

Methods

(==) :: R a -> R a -> Bool

(/=) :: R a -> R a -> Bool

Ord (R a)

Methods

compare :: R a -> R a -> Ordering

(<) :: R a -> R a -> Bool

(<=) :: R a -> R a -> Bool

(>) :: R a -> R a -> Bool

(>=) :: R a -> R a -> Bool

max :: R a -> R a -> R a

min :: R a -> R a -> R a

Show (R a)

Methods

showsPrec :: Int -> R a -> ShowS

show :: R a -> String

showList :: [R a] -> ShowS

Show (MTup R l)

Methods

showsPrec :: Int -> MTup R l -> ShowS

show :: MTup R l -> String

showList :: [MTup R l] -> ShowS

data Con r a where

Representation of a data constructor includes an embedding between the datatype and a list of other types as well as the representation of that list of other types.

Constructors

Con :: Emb l a -> MTup r l -> Con r a

data Emb l a

An embedding between a list of types l and a datatype a, based on a particular data constructor. The to function is a wrapper for the constructor, the from function pattern matches on the constructor.

Constructors

Emb

Fields

• to :: l -> a
• from :: a -> Maybe l
• labels :: Maybe [String]
• name :: String
• fixity :: Fixity

data Fixity

Constructors

Nonfix

Infix

Fields

• prec :: Int

Infixl

Fields

• prec :: Int

Infixr

Fields

• prec :: Int

data DT

Information about a datatype, including its fully qualified name and representation of its type arguments.

Constructors

DT String (MTup R l)

Instances

Show DT

Methods

showsPrec :: Int -> DT -> ShowS

show :: DT -> String

showList :: [DT] -> ShowS

data Nil

An empty list of types

Constructors

Nil

data a :*: l infixr 7

Cons for a list of types

Constructors

a :*: l infixr 7

data MTup r l where

A heterogeneous list

Constructors

MNil :: MTup r Nil

(:+:) :: Rep a => r a -> MTup r l -> MTup r (a :*: l) infixr 7

Instances

Show (MTup R l)

Methods

showsPrec :: Int -> MTup R l -> ShowS

show :: MTup R l -> String

showList :: [MTup R l] -> ShowS

class Rep a where

A class of representable types

Minimal complete definition

rep

Methods

rep :: R a

Instances

Rep Char

Methods

rep :: R Char

Rep Double

Methods

rep :: R Double

Rep Float

Methods

rep :: R Float

Rep Int

Methods

rep :: R Int

Rep Integer

Methods

rep :: R Integer

Rep Rational

Methods

rep :: R Rational

Rep ()

Methods

rep :: R ()

Rep IOError

Methods

rep :: R IOError

Rep a => Rep [a]

Methods

rep :: R [a]

Rep a => Rep (IO a)

Methods

rep :: R (IO a)

(Rep a, Rep b) => Rep (a -> b)

Methods

rep :: R (a -> b)

(Rep a, Rep b) => Rep (a, b)

Methods

rep :: R (a, b)

(Rep a, Rep b) => Rep ((:~:) * a b)

Methods

rep :: R ((* :~: a) b)

withRep :: R a -> (Rep a => r) -> r

Use a concrete R a for a Rep a dictionary

rUnitEmb :: Emb Nil ()

rUnit :: R ()

rTup2 :: forall a b. (Rep a, Rep b) => R (a, b)

rPairEmb :: Emb (a :*: (b :*: Nil)) (a, b)

rList :: forall a. Rep a => R [a]

rNilEmb :: Emb Nil [a]

rConsEmb :: Emb (a :*: ([a] :*: Nil)) [a]