Generics.RepLib.R1

Documentation

data R1 ctx a where

Constructors

Int1 :: R1 ctx Int

Char1 :: R1 ctx Char

Integer1 :: R1 ctx Integer

Float1 :: R1 ctx Float

Double1 :: R1 ctx Double

Rational1 :: R1 ctx Rational

IOError1 :: R1 ctx IOError

IO1 :: Rep a => ctx a -> R1 ctx (IO a)

Arrow1 :: (Rep a, Rep b) => ctx a -> ctx b -> R1 ctx (a -> b)

Data1 :: DT -> [Con ctx a] -> R1 ctx a

Abstract1 :: DT -> R1 ctx a

Equal1 :: (Rep a, Rep b) => ctx a -> ctx b -> R1 ctx (a :~: b)

Instances

Show (R1 c a)

Methods

showsPrec :: Int -> R1 c a -> ShowS

show :: R1 c a -> String

showList :: [R1 c a] -> ShowS

class Sat a where

Minimal complete definition

dict

Methods

dict :: a

Instances

Show a => Sat (ShowD a)

Methods

dict :: ShowD a

Bounded a => Sat (BoundedD a)

Methods

dict :: BoundedD a

Ord a => Sat (OrdD a)

Methods

dict :: OrdD a

Eq a => Sat (EqD a)

Methods

dict :: EqD a

Shrink a => Sat (ShrinkD a)

Methods

dict :: ShrinkD a

Enumerate a => Sat (EnumerateD a)

Methods

dict :: EnumerateD a

Generate a => Sat (GenerateD a)

Methods

dict :: GenerateD a

Zero a => Sat (ZeroD a)

Methods

dict :: ZeroD a

GSum a => Sat (GSumD a)

Methods

dict :: GSumD a

Lreduce b a => Sat (LreduceD b a)

Methods

dict :: LreduceD b a

Rreduce b a => Sat (RreduceD b a)

Methods

dict :: RreduceD b a

(Unify n a b, Subst n a b, Occurs n a b) => Sat (UnifySubD n a b)

Methods

dict :: UnifySubD n a b

class Rep a => Rep1 ctx a where

Minimal complete definition

rep1

Methods

rep1 :: R1 ctx a

Instances

Rep1 ctx ()

Methods

rep1 :: R1 ctx ()

Rep1 ctx Rational

Methods

rep1 :: R1 ctx Rational

Rep1 ctx IOError

Methods

rep1 :: R1 ctx IOError

Rep1 ctx Double

Methods

rep1 :: R1 ctx Double

Rep1 ctx Float

Methods

rep1 :: R1 ctx Float

Rep1 ctx Integer

Methods

rep1 :: R1 ctx Integer

Rep1 ctx Char

Methods

rep1 :: R1 ctx Char

Rep1 ctx Int

Methods

rep1 :: R1 ctx Int

(Rep a, Sat (ctx a), Sat (ctx [a])) => Rep1 ctx [a]

Methods

rep1 :: R1 ctx [a]

(Rep a, Sat (ctx a)) => Rep1 ctx (IO a)

Methods

rep1 :: R1 ctx (IO a)

(Rep a, Sat (ctx a), Rep b, Sat (ctx b)) => Rep1 ctx (a, b)

Methods

rep1 :: R1 ctx (a, b)

(Rep a, Rep b, Sat (ctx a), Sat (ctx b)) => Rep1 ctx (a -> b)

Methods

rep1 :: R1 ctx (a -> b)

(Rep a, Rep b, Sat (ctx a), Sat (ctx b)) => Rep1 ctx ((:~:) * a b)

Methods

rep1 :: R1 ctx ((* :~: a) b)

getRepC :: Rep b => c b -> R b

Access a representation, given a proxy

toR :: R1 c a -> R a

Transform a parameterized rep to a vanilla rep

rTup2_1 :: forall a b ctx. (Rep a, Rep b) => ctx a -> ctx b -> R1 ctx (a, b)

rList1 :: forall a ctx. Rep a => ctx a -> ctx [a] -> R1 ctx [a]