simplistic-generics-0.1.0.0: Generic programming without too many type classes

Safe HaskellNone
LanguageHaskell2010

Generics.Simplistic.Derive.Show

Documentation

data MyList a Source #

Constructors

MyNil 
MyCons 

Fields

Instances
Show a => Show (MyList a) Source # 
Instance details

Defined in Generics.Simplistic.Derive.Show

Methods

showsPrec :: Int -> MyList a -> ShowS #

show :: MyList a -> String #

showList :: [MyList a] -> ShowS #

Generic (MyList a) Source # 
Instance details

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) Source # 
Instance details

Defined in Generics.Simplistic.Derive.Show

type Rep (MyList a) = D1 (MetaData "MyList" "Generics.Simplistic.Derive.Show" "simplistic-generics-0.1.0.0-9E6KlWuQUZYDgk9rhp356X" 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 Source #

appPrec :: Int Source #

data Type Source #

Constructors

Rec 
Tup 
Pref 
Inf String 

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

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

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

isNullary :: SRep Identity a -> Bool Source #