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

Orphan instances

(Show (p x), Show (NS a p xs)) => Show (NS a p ((:) a x xs)) Source #
Methods showsPrec :: Int -> NS a p ((a ': x) xs) -> ShowS # show :: NS a p ((a ': x) xs) -> String # showList :: [NS a p ((a ': x) xs)] -> ShowS #
Show (NS k p ([] k)) Source #
Methods showsPrec :: Int -> NS k p [k] -> ShowS # show :: NS k p [k] -> String # showList :: [NS k p [k]] -> ShowS #
(Show (p x), Show (NP a p xs)) => Show (NP a p ((:) a x xs)) Source #
Methods showsPrec :: Int -> NP a p ((a ': x) xs) -> ShowS # show :: NP a p ((a ': x) xs) -> String # showList :: [NP a p ((a ': x) xs)] -> ShowS #
Show (NP k p ([] k)) Source #
Methods showsPrec :: Int -> NP k p [k] -> ShowS # show :: NP k p [k] -> String # showList :: [NP k p [k]] -> ShowS #
Show (NS [Atom kon] (PoA kon ki (Fix kon ki codes)) (Lkup [[Atom kon]] ix codes)) => Show (Fix kon ki codes ix) Source #
Methods showsPrec :: Int -> Fix kon ki codes ix -> ShowS # show :: Fix kon ki codes ix -> String # showList :: [Fix kon ki codes ix] -> ShowS #
Show (NS [Atom kon] (PoA kon ki phi) code) => Show (Rep kon ki phi code) Source #
Methods showsPrec :: Int -> Rep kon ki phi code -> ShowS # show :: Rep kon ki phi code -> String # showList :: [Rep kon ki phi code] -> ShowS #
Show (ki k) => Show (NA kon ki fam (K kon k)) Source #
Methods showsPrec :: Int -> NA kon ki fam (K kon k) -> ShowS # show :: NA kon ki fam (K kon k) -> String # showList :: [NA kon ki fam (K kon k)] -> ShowS #
Show (fam k) => Show (NA kon ki fam (I kon k)) Source #
Methods showsPrec :: Int -> NA kon ki fam (I kon k) -> ShowS # show :: NA kon ki fam (I kon k) -> String # showList :: [NA kon ki fam (I kon k)] -> ShowS #