Generics.Deriving.Instances

Representations for base types

type Rep0Char = Rec0 Char

type Rep0Int = Rec0 Int

type Rep0Float = Rec0 Float

type Rep0Maybe a = D1 Maybe_ (C1 Nothing_ U1 :+: C1 Just_ (Par0 a))

type Rep1Maybe = D1 Maybe_ (C1 Nothing_ U1 :+: C1 Just_ Par1)

type Rep0List a = D1 List__ (C1 Nil__ U1 :+: C1 Cons__ (Par0 a :*: Rec0 [a]))

type Rep1List = D1 List__ (C1 Nil__ U1 :+: C1 Cons__ (Par1 :*: Rec1 []))