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