Generic.Data.Function.Example

Documentation

data D a

Constructors

D1 a

D2 a a

Instances

Generic (D a)

Defined in Generic.Data.Function.Example

Associated Types

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

Methods

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

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

Show a => Show (D a)

Defined in Generic.Data.Function.Example

Methods

showsPrec :: Int -> D a -> ShowS

show :: D a -> String

showList :: [D a] -> ShowS

type Rep (D a)

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

Constructors

Showly

Fields

• unShowly :: a

Instances

Monoid a => Monoid (Showly a)

Defined in Generic.Data.Function.Example

Methods

mempty :: Showly a

mappend :: Showly a -> Showly a -> Showly a

mconcat :: [Showly a] -> Showly a

Semigroup a => Semigroup (Showly a)

Defined in Generic.Data.Function.Example

Methods

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

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

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

Show a => Show (Showly a)

Defined in Generic.Data.Function.Example

Methods

showsPrec :: Int -> Showly a -> ShowS

show :: Showly a -> String

showList :: [Showly a] -> ShowS

GenericFoldMap (Showly String)

Defined in Generic.Data.Function.Example

Associated Types

type GenericFoldMapC (Showly String) a

Methods

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

type GenericFoldMapC (Showly String) a

Defined in Generic.Data.Function.Example

type GenericFoldMapC (Showly String) a = Show a