generic-deriving-1.12.2: Generic programming library for generalised deriving.

Safe HaskellSafe
LanguageHaskell2010

Generics.Deriving.Instances

Contents

Documentation

type Rep0Down a = Rep (Down a) Source #

Orphan instances

Generic (Down a) Source # 

Associated Types

type Rep (Down a) :: * -> * #

Methods

from :: Down a -> Rep (Down a) x #

to :: Rep (Down a) x -> Down a #

Generic1 * Down Source # 

Associated Types

type Rep1 Down (f :: Down -> *) :: k -> * #

Methods

from1 :: f a -> Rep1 Down f a #

to1 :: Rep1 Down f a -> f a #