generic-deriving-1.12.2: Generic programming library for generalised deriving.
Generics.Deriving.Instances
Contents
type Rep0Down a = Rep (Down a) Source #
type Rep1Down = Rep1 Down Source #
Associated Types
type Rep (Down a) :: * -> * #
Methods
from :: Down a -> Rep (Down a) x #
to :: Rep (Down a) x -> Down a #
type Rep1 Down (f :: Down -> *) :: k -> * #
from1 :: f a -> Rep1 Down f a #
to1 :: Rep1 Down f a -> f a #