generic-deriving-1.0.1: Generic programming library for generalized deriving.

Generics.Deriving.Instances

Contents

Representations for base types

Synopsis

Documentation

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

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

Representations for base types

type Rep0Char = Rec0 Char Source

type Rep0Int = Rec0 Int Source

type Rep0Float = Rec0 Float Source

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

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