Safe Haskell	Safe
Language	Haskell2010

Generics.Deriving.Copoint

Contents

Synopsis

GCopoint class

class GCopoint d where Source #

Methods

Instances

GCopoint Min Source #
Methods gcopoint :: Min a -> a Source #
GCopoint Max Source #
Methods gcopoint :: Max a -> a Source #
GCopoint First Source #
Methods gcopoint :: First a -> a Source #
GCopoint Last Source #
Methods gcopoint :: Last a -> a Source #
GCopoint WrappedMonoid Source #
Methods gcopoint :: WrappedMonoid a -> a Source #
GCopoint Identity Source #
Methods gcopoint :: Identity a -> a Source #
GCopoint Dual Source #
Methods gcopoint :: Dual a -> a Source #
GCopoint Sum Source #
Methods gcopoint :: Sum a -> a Source #
GCopoint ((,) a) Source #
Methods gcopoint :: (a, a) -> a Source #
GCopoint (Arg a) Source #
Methods gcopoint :: Arg a a -> a Source #
GCopoint m => GCopoint (WrappedMonad m) Source #
Methods gcopoint :: WrappedMonad m a -> a Source #
GCopoint ((,,) a b) Source #
Methods gcopoint :: (a, b, a) -> a Source #
GCopoint f => GCopoint (Alt * f) Source #
Methods gcopoint :: Alt * f a -> a Source #
GCopoint ((,,,) a b c) Source #
Methods gcopoint :: (a, b, c, a) -> a Source #
(GCopoint f, GCopoint g) => GCopoint (Sum * f g) Source #
Methods gcopoint :: Sum * f g a -> a Source #
GCopoint ((,,,,) a b c d) Source #
Methods gcopoint :: (a, b, c, d, a) -> a Source #
GCopoint ((,,,,,) a b c d e) Source #
Methods gcopoint :: (a, b, c, d, e, a) -> a Source #
GCopoint ((,,,,,,) a b c d e f) Source #
Methods gcopoint :: (a, b, c, d, e, f, a) -> a Source #

Default method

Minimal complete definition

Methods

Instances

GCopoint' Par1 Source #
Methods gcopoint' :: Par1 a -> Maybe a Source #
GCopoint' (V1 *) Source #
Methods gcopoint' :: V1 * a -> Maybe a Source #
GCopoint' (U1 *) Source #
Methods gcopoint' :: U1 * a -> Maybe a Source #
GCopoint f => GCopoint' (Rec1 * f) Source #
Methods gcopoint' :: Rec1 * f a -> Maybe a Source #
GCopoint' (K1 * i c) Source #
Methods gcopoint' :: K1 * i c a -> Maybe a Source #
(GCopoint' f, GCopoint' g) => GCopoint' ((:+:) * f g) Source #
Methods gcopoint' :: (* :+: f) g a -> Maybe a Source #
(GCopoint' f, GCopoint' g) => GCopoint' ((::) f g) Source #
Methods gcopoint' :: (* :*: f) g a -> Maybe a Source #
GCopoint' f => GCopoint' (M1 * i c f) Source #
Methods gcopoint' :: M1 * i c f a -> Maybe a Source #
(GCopoint f, GCopoint' g) => GCopoint' ((:.:) * * f g) Source #
Methods gcopoint' :: (* :.: *) f g a -> Maybe a Source #