generic-lens-1.0.0.0: Generically derive traversals, lenses and prisms.

Copyright(C) 2018 Csongor Kiss
MaintainerCsongor Kiss <kiss.csongor.kiss@gmail.com>
Safe HaskellNone
LanguageHaskell2010

Data.Generics.Internal.GenericN

Description

License : BSD3 Stability : experimental Portability : non-portable

Generic representation of types with multiple parameters

Documentation

type family Param :: Nat -> k where ... Source #

newtype Rec (p :: Type) a x Source #

Constructors

Rec 

Fields

class (Coercible (Rep a) (RepN a), Generic a) => GenericN (a :: Type) where Source #

Minimal complete definition

toN, fromN

Associated Types

type RepN (a :: Type) :: Type -> Type Source #

Methods

toN :: RepN a x -> a Source #

fromN :: a -> RepN a x Source #

Instances

(Coercible (* -> *) (Rep a) (RepN a), Generic a) => GenericN a Source # 

Associated Types

type RepN a :: Type -> Type Source #

Methods

toN :: RepN a x -> a Source #

fromN :: a -> RepN a x Source #