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)

Defined in Generics.RepLib.R1

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)

Defined in Generics.RepLib.PreludeLib

Methods

dict :: ShowD a

Bounded a => Sat (BoundedD a)

Defined in Generics.RepLib.PreludeLib

Methods

dict :: BoundedD a

Ord a => Sat (OrdD a)

Defined in Generics.RepLib.PreludeLib

Methods

dict :: OrdD a

Eq a => Sat (EqD a)

Defined in Generics.RepLib.PreludeLib

Methods

dict :: EqD a

Shrink a => Sat (ShrinkD a)

Defined in Generics.RepLib.Lib

Methods

dict :: ShrinkD a

Enumerate a => Sat (EnumerateD a)

Defined in Generics.RepLib.Lib

Methods

dict :: EnumerateD a

Generate a => Sat (GenerateD a)

Defined in Generics.RepLib.Lib

Methods

dict :: GenerateD a

Zero a => Sat (ZeroD a)

Defined in Generics.RepLib.Lib

Methods

dict :: ZeroD a

GSum a => Sat (GSumD a)

Defined in Generics.RepLib.Lib

Methods

dict :: GSumD a

Lreduce b a => Sat (LreduceD b a)

Defined in Generics.RepLib.Lib

Methods

dict :: LreduceD b a

Rreduce b a => Sat (RreduceD b a)

Defined in Generics.RepLib.Lib

Methods

dict :: RreduceD b a

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

Defined in Generics.RepLib.Unify

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 ()

Defined in Generics.RepLib.R1

Methods

rep1 :: R1 ctx ()

Rep1 ctx Rational

Defined in Generics.RepLib.R1

Methods

rep1 :: R1 ctx Rational

Rep1 ctx IOError

Defined in Generics.RepLib.R1

Methods

rep1 :: R1 ctx IOError

Rep1 ctx Double

Defined in Generics.RepLib.R1

Methods

rep1 :: R1 ctx Double

Rep1 ctx Float

Defined in Generics.RepLib.R1

Methods

rep1 :: R1 ctx Float

Rep1 ctx Integer

Defined in Generics.RepLib.R1

Methods

rep1 :: R1 ctx Integer

Rep1 ctx Char

Defined in Generics.RepLib.R1

Methods

rep1 :: R1 ctx Char

Rep1 ctx Int

Defined in Generics.RepLib.R1

Methods

rep1 :: R1 ctx Int

Rep1 ctx Bool

Defined in Generics.RepLib.PreludeReps

Methods

rep1 :: R1 ctx Bool

Rep1 ctx Ordering

Defined in Generics.RepLib.PreludeReps

Methods

rep1 :: R1 ctx Ordering

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

Defined in Generics.RepLib.R1

Methods

rep1 :: R1 ctx [a]

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

Defined in Generics.RepLib.R1

Methods

rep1 :: R1 ctx (IO a)

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

Defined in Generics.RepLib.PreludeReps

Methods

rep1 :: R1 ctx (Maybe a)

Rep a => Rep1 ctx (Set a)

Defined in Generics.RepLib.AbstractReps

Methods

rep1 :: R1 ctx (Set a)

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

Defined in Generics.RepLib.R1

Methods

rep1 :: R1 ctx (a, b)

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

Defined in Generics.RepLib.R1

Methods

rep1 :: R1 ctx (a -> b)

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

Defined in Generics.RepLib.PreludeReps

Methods

rep1 :: R1 ctx (Either a b)

(Rep k, Rep a) => Rep1 ctx (Map k a)

Defined in Generics.RepLib.AbstractReps

Methods

rep1 :: R1 ctx (Map k a)

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

Defined in Generics.RepLib.R1

Methods

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

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

Defined in Generics.RepLib.PreludeReps

Methods

rep1 :: R1 ctx (a, b, c)

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

Defined in Generics.RepLib.PreludeReps

Methods

rep1 :: R1 ctx (a, b, c, d)

(Rep a, Rep b, Rep c, Rep d, Rep e, Sat (ctx a), Sat (ctx b), Sat (ctx c), Sat (ctx d), Sat (ctx e)) => Rep1 ctx (a, b, c, d, e)

Defined in Generics.RepLib.PreludeReps

Methods

rep1 :: R1 ctx (a, b, c, d, e)

(Rep a, Rep b, Rep c, Rep d, Rep e, Rep f, Sat (ctx a), Sat (ctx b), Sat (ctx c), Sat (ctx d), Sat (ctx e), Sat (ctx f)) => Rep1 ctx (a, b, c, d, e, f)

Defined in Generics.RepLib.PreludeReps

Methods

rep1 :: R1 ctx (a, b, c, d, e, f)

(Rep a, Rep b, Rep c, Rep d, Rep e, Rep f, Rep g, Sat (ctx a), Sat (ctx b), Sat (ctx c), Sat (ctx d), Sat (ctx e), Sat (ctx f), Sat (ctx g)) => Rep1 ctx (a, b, c, d, e, f, g)

Defined in Generics.RepLib.PreludeReps

Methods

rep1 :: R1 ctx (a, b, c, d, e, f, g)

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]