generic-data-functions-0.6.0: Familiar functions lifted to generic data types
Safe HaskellSafe-Inferred
LanguageGHC2021

Generic.Data.Function.Example

Documentation

data X Source #

Constructors

X1 
X2 

Instances

Instances details
Generic X Source # 
Instance details

Defined in Generic.Data.Function.Example

Associated Types

type Rep X :: Type -> Type #

Methods

from :: X -> Rep X x #

to :: Rep X x -> X #

type Rep X Source # 
Instance details

Defined in Generic.Data.Function.Example

type Rep X = D1 ('MetaData "X" "Generic.Data.Function.Example" "generic-data-functions-0.6.0-inplace" 'False) (C1 ('MetaCons "X1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "X2" 'PrefixI 'False) (U1 :: Type -> Type))

data Y Source #

Constructors

Y 

Instances

Instances details
Generic Y Source # 
Instance details

Defined in Generic.Data.Function.Example

Associated Types

type Rep Y :: Type -> Type #

Methods

from :: Y -> Rep Y x #

to :: Rep Y x -> Y #

type Rep Y Source # 
Instance details

Defined in Generic.Data.Function.Example

type Rep Y = D1 ('MetaData "Y" "Generic.Data.Function.Example" "generic-data-functions-0.6.0-inplace" 'False) (C1 ('MetaCons "Y" 'PrefixI 'False) (U1 :: Type -> Type))

newtype Showly Source #

Constructors

Showly 

Fields

Instances

Instances details
Monoid Showly Source # 
Instance details

Defined in Generic.Data.Function.Example

Methods

mempty :: Showly #

mappend :: Showly -> Showly -> Showly #

mconcat :: [Showly] -> Showly #

Semigroup Showly Source # 
Instance details

Defined in Generic.Data.Function.Example

Methods

(<>) :: Showly -> Showly -> Showly #

sconcat :: NonEmpty Showly -> Showly #

stimes :: Integral b => b -> Showly -> Showly #

GenericFoldMap Showly Source # 
Instance details

Defined in Generic.Data.Function.Example

Associated Types

type GenericFoldMapM Showly Source #

type GenericFoldMapC Showly a Source #

Methods

genericFoldMapF :: GenericFoldMapC Showly a => a -> GenericFoldMapM Showly Source #

type GenericFoldMapM Showly Source # 
Instance details

Defined in Generic.Data.Function.Example

type GenericFoldMapM Showly = [String]
type GenericFoldMapC Showly a Source # 
Instance details

Defined in Generic.Data.Function.Example

type GenericFoldMapC Showly a = Show a

showGeneric :: forall a. (Generic a, GFoldMapSum Showly Raw (Rep a)) => a -> String Source #

showGeneric' :: forall a. (Generic a, GFoldMapNonSum Showly (Rep a)) => a -> String Source #