Generics.Simplistic.Derive.Show

Documentation

data MyList a

Constructors

MyNil

MyCons

Fields

• hd :: a
• tl :: MyList a

Instances

Show a => Show (MyList a)

Defined in Generics.Simplistic.Derive.Show

Methods

showsPrec :: Int -> MyList a -> ShowS

show :: MyList a -> String

showList :: [MyList a] -> ShowS

Generic (MyList a)

Defined in Generics.Simplistic.Derive.Show

Associated Types

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

Methods

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

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

type Rep (MyList a)

Defined in Generics.Simplistic.Derive.Show

type Rep (MyList a) = D1 (MetaData "MyList" "Generics.Simplistic.Derive.Show" "simplistic-generics-0.1.0.0-A67SdzDFiWkJbgtjehpbQz" False) (C1 (MetaCons "MyNil" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "MyCons" PrefixI True) (S1 (MetaSel (Just "hd") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "tl") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (MyList a))))

myListValue :: MyList Integer

appPrec :: Int

data Type

Constructors

Rec

Tup

Pref

Inf String

gshow :: (GenericSy t, OnLeaves Show (Rep t)) => t -> String

gshowsPrec :: (GenericSy t, OnLeaves Show (Rep t)) => Type -> Int -> t -> ShowS

gshowsPrec' :: OnLeaves Show f => Type -> Int -> SRep Identity f -> ShowS

isNullary :: SRep Identity a -> Bool