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 Source #

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

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

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

Orphan instances

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