Safe Haskell	Safe
Language	Haskell2010

Generics.MRSOP.Base.Show

Contents

Orphan instances

Description

Implements a rudimentary show instance for our representations. We keep this isolated because the instance for Show (Rep ki phi code) requires undecidable instances. Isolating this allows us to turn on this extension for this module only.

Documentation

showNA :: (Show1 phi, Show1 ki) => NA ki (AnnFix ki codes phi) a -> String #

showNP :: (Show1 phi, Show1 ki) => PoA ki (AnnFix ki codes phi) xs -> String #

showRep :: (Show1 phi, Show1 ki) => Rep ki (AnnFix ki codes phi) xs -> String #

showFix :: (Show1 phi, Show1 ki) => AnnFix ki codes phi ix -> String #

Orphan instances

(Show1 phi, Show1 ki) => Show (PoA ki (AnnFix ki codes phi) xs) #
Instance details Methods showsPrec :: Int -> PoA ki (AnnFix ki codes phi) xs -> ShowS # show :: PoA ki (AnnFix ki codes phi) xs -> String # showList :: [PoA ki (AnnFix ki codes phi) xs] -> ShowS #
(Show1 phi, Show1 ki) => Show (Rep ki (AnnFix ki codes phi) xs) #
Instance details Methods showsPrec :: Int -> Rep ki (AnnFix ki codes phi) xs -> ShowS # show :: Rep ki (AnnFix ki codes phi) xs -> String # showList :: [Rep ki (AnnFix ki codes phi) xs] -> ShowS #
(Show1 phi, Show1 ki) => Show (NA ki (AnnFix ki codes phi) a) #
Instance details Methods showsPrec :: Int -> NA ki (AnnFix ki codes phi) a -> ShowS # show :: NA ki (AnnFix ki codes phi) a -> String # showList :: [NA ki (AnnFix ki codes phi) a] -> ShowS #
(Show1 phi, Show1 ki) => Show (AnnFix ki codes phi ix) #
Instance details Methods showsPrec :: Int -> AnnFix ki codes phi ix -> ShowS # show :: AnnFix ki codes phi ix -> String # showList :: [AnnFix ki codes phi ix] -> ShowS #