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

Safe HaskellTrustworthy

Generics.Deriving.Copoint

Contents

Synopsis

GCopoint class

class GCopoint d where

Methods

gcopoint :: d a -> a

Instances

GCopoint Sum 
GCopoint Dual 
GCopoint Down 
GCopoint ((,) a) 
GCopoint m => GCopoint (WrappedMonad m) 
GCopoint ((,,) a b) 
GCopoint ((,,,) a b c) 
GCopoint ((,,,,) a b c d) 
GCopoint ((,,,,,) a b c d e) 
GCopoint ((,,,,,,) a b c d e f) 

Default method

gcopointdefault :: (Generic1 d, GCopoint' (Rep1 d)) => d a -> a

Internal class

class GCopoint' t where

Methods

gcopoint' :: t a -> Maybe a

Instances

GCopoint' V1 
GCopoint' U1 
GCopoint' Par1 
GCopoint f => GCopoint' (Rec1 f) 
GCopoint' (K1 i c) 
(GCopoint' f, GCopoint' g) => GCopoint' (:+: f g) 
(GCopoint' f, GCopoint' g) => GCopoint' (:*: f g) 
(GCopoint f, GCopoint' g) => GCopoint' (:.: f g) 
GCopoint' f => GCopoint' (M1 i c f)