Generics.Deriving.Copoint

GCopoint class

class GCopoint d where

Minimal complete definition

Nothing

Methods

gcopoint :: d a -> a

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

Instances

GCopoint Min

Defined in Generics.Deriving.Copoint

Methods

gcopoint :: Min a -> a

GCopoint Max

Defined in Generics.Deriving.Copoint

Methods

gcopoint :: Max a -> a

GCopoint First

Defined in Generics.Deriving.Copoint

Methods

gcopoint :: First a -> a

GCopoint Last

Defined in Generics.Deriving.Copoint

Methods

gcopoint :: Last a -> a

GCopoint WrappedMonoid

Defined in Generics.Deriving.Copoint

Methods

gcopoint :: WrappedMonoid a -> a

GCopoint Identity

Defined in Generics.Deriving.Copoint

Methods

gcopoint :: Identity a -> a

GCopoint Dual

Defined in Generics.Deriving.Copoint

Methods

gcopoint :: Dual a -> a

GCopoint Sum

Defined in Generics.Deriving.Copoint

Methods

gcopoint :: Sum a -> a

GCopoint Down

Defined in Generics.Deriving.Copoint

Methods

gcopoint :: Down a -> a

GCopoint ((,) a)

Defined in Generics.Deriving.Copoint

Methods

gcopoint :: (a, a0) -> a0

GCopoint (Arg a)

Defined in Generics.Deriving.Copoint

Methods

gcopoint :: Arg a a0 -> a0

GCopoint m => GCopoint (WrappedMonad m)

Defined in Generics.Deriving.Copoint

Methods

gcopoint :: WrappedMonad m a -> a

(Generic1 f, GCopoint' (Rep1 f)) => GCopoint (Default1 f)

Defined in Generics.Deriving.Default

Methods

gcopoint :: Default1 f a -> a

GCopoint ((,,) a b)

Defined in Generics.Deriving.Copoint

Methods

gcopoint :: (a, b, a0) -> a0

GCopoint f => GCopoint (Alt f)

Defined in Generics.Deriving.Copoint

Methods

gcopoint :: Alt f a -> a

GCopoint ((,,,) a b c)

Defined in Generics.Deriving.Copoint

Methods

gcopoint :: (a, b, c, a0) -> a0

(GCopoint f, GCopoint g) => GCopoint (Sum f g)

Defined in Generics.Deriving.Copoint

Methods

gcopoint :: Sum f g a -> a

GCopoint ((,,,,) a b c d)

Defined in Generics.Deriving.Copoint

Methods

gcopoint :: (a, b, c, d, a0) -> a0

GCopoint ((,,,,,) a b c d e)

Defined in Generics.Deriving.Copoint

Methods

gcopoint :: (a, b, c, d, e, a0) -> a0

GCopoint ((,,,,,,) a b c d e f)

Defined in Generics.Deriving.Copoint

Methods

gcopoint :: (a, b, c, d, e, f, a0) -> a0

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' Par1

Defined in Generics.Deriving.Copoint

Methods

gcopoint' :: Par1 a -> Maybe a

GCopoint' (V1 :: Type -> Type)

Defined in Generics.Deriving.Copoint

Methods

gcopoint' :: V1 a -> Maybe a

GCopoint' (U1 :: Type -> Type)

Defined in Generics.Deriving.Copoint

Methods

gcopoint' :: U1 a -> Maybe a

GCopoint f => GCopoint' (Rec1 f)

Defined in Generics.Deriving.Copoint

Methods

gcopoint' :: Rec1 f a -> Maybe a

GCopoint' (K1 i c :: Type -> Type)

Defined in Generics.Deriving.Copoint

Methods

gcopoint' :: K1 i c a -> Maybe a

(GCopoint' f, GCopoint' g) => GCopoint' (f :+: g)

Defined in Generics.Deriving.Copoint

Methods

gcopoint' :: (f :+: g) a -> Maybe a

(GCopoint' f, GCopoint' g) => GCopoint' (f :*: g)

Defined in Generics.Deriving.Copoint

Methods

gcopoint' :: (f :*: g) a -> Maybe a

GCopoint' f => GCopoint' (M1 i c f)

Defined in Generics.Deriving.Copoint

Methods

gcopoint' :: M1 i c f a -> Maybe a

(GCopoint f, GCopoint' g) => GCopoint' (f :.: g)

Defined in Generics.Deriving.Copoint

Methods

gcopoint' :: (f :.: g) a -> Maybe a