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

Generic.Data.Function.Example

Documentation

data D a Source #

Constructors

D1 a 
D2 a a 

Instances

Instances details
Generic (D a) Source # 
Instance details

Defined in Generic.Data.Function.Example

Associated Types

type Rep (D a) :: Type -> Type Source #

Methods

from :: D a -> Rep (D a) x Source #

to :: Rep (D a) x -> D a Source #

Show a => Show (D a) Source # 
Instance details

Defined in Generic.Data.Function.Example

Methods

showsPrec :: Int -> D a -> ShowS Source #

show :: D a -> String Source #

showList :: [D a] -> ShowS Source #

type Rep (D a) Source # 
Instance details

Defined in Generic.Data.Function.Example

type Rep (D a) = D1 ('MetaData "D" "Generic.Data.Function.Example" "generic-data-functions-0.1.1-inplace" 'False) (C1 ('MetaCons "D1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "D2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

newtype Showly a Source #

Constructors

Showly 

Fields

Instances

Instances details
Monoid a => Monoid (Showly a) Source # 
Instance details

Defined in Generic.Data.Function.Example

Methods

mempty :: Showly a Source #

mappend :: Showly a -> Showly a -> Showly a Source #

mconcat :: [Showly a] -> Showly a Source #

Semigroup a => Semigroup (Showly a) Source # 
Instance details

Defined in Generic.Data.Function.Example

Methods

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

sconcat :: NonEmpty (Showly a) -> Showly a Source #

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

Show a => Show (Showly a) Source # 
Instance details

Defined in Generic.Data.Function.Example

Methods

showsPrec :: Int -> Showly a -> ShowS Source #

show :: Showly a -> String Source #

showList :: [Showly a] -> ShowS Source #

GenericFoldMap (Showly String) Source # 
Instance details

Defined in Generic.Data.Function.Example

Associated Types

type GenericFoldMapC (Showly String) a Source #

Methods

genericFoldMapF :: GenericFoldMapC (Showly String) a => a -> Showly String Source #

type GenericFoldMapC (Showly String) a Source # 
Instance details

Defined in Generic.Data.Function.Example

type GenericFoldMapC (Showly String) a = Show a