TextShow.Compiler.Hoopl

Monomorphic TextShow functions for data types in the hoopl library.

Since: 2

Documentation

showbLabel :: Label -> Builder

Convert a Label to a Builder.

Since: 2

liftShowbLabelMapPrec :: (v -> Builder) -> Int -> LabelMap v -> Builder

Convert a LabelMap to a Builder with the given show function and precedence.

Since: 3

showbLabelSetPrec :: Int -> LabelSet -> Builder

Convert a LabelSet to a Builder with the given precedence.

Since: 2

liftShowbPointed :: (a -> Builder) -> Pointed t b a -> Builder

Convert a Pointed value to a Builder with the given show function.

Since: 3

showbUnique :: Unique -> Builder

Convert a Unique value to a Builder.

Since: 2

liftShowbUniqueMapPrec :: (v -> Builder) -> Int -> UniqueMap v -> Builder

Convert a UniqueMap to a Builder with the given show function and precedence.

Since: 3

showbUniqueSetPrec :: Int -> UniqueSet -> Builder

Convert a UniqueSet to a Builder with the given precedence.

Since: 2

showbDominatorNode :: DominatorNode -> Builder

Convert a DominatorNode to a Builder.

Since: 2

showbDominatorTree :: DominatorTree -> Builder

Convert a DominatorTree to a Builder.

Since: 2

showbDPath :: DPath -> Builder

Convert a DPath to a Builder.

Since: 2

Orphan instances

TextShow DPath

Methods

showbPrec :: Int -> DPath -> Builder

showb :: DPath -> Builder

showbList :: [DPath] -> Builder

showtPrec :: Int -> DPath -> Text

showt :: DPath -> Text

showtList :: [DPath] -> Text

showtlPrec :: Int -> DPath -> Text

showtl :: DPath -> Text

showtlList :: [DPath] -> Text

TextShow DominatorNode

Methods

showbPrec :: Int -> DominatorNode -> Builder

showb :: DominatorNode -> Builder

showbList :: [DominatorNode] -> Builder

showtPrec :: Int -> DominatorNode -> Text

showt :: DominatorNode -> Text

showtList :: [DominatorNode] -> Text

showtlPrec :: Int -> DominatorNode -> Text

showtl :: DominatorNode -> Text

showtlList :: [DominatorNode] -> Text

TextShow DominatorTree

Methods

showbPrec :: Int -> DominatorTree -> Builder

showb :: DominatorTree -> Builder

showbList :: [DominatorTree] -> Builder

showtPrec :: Int -> DominatorTree -> Text

showt :: DominatorTree -> Text

showtList :: [DominatorTree] -> Text

showtlPrec :: Int -> DominatorTree -> Text

showtl :: DominatorTree -> Text

showtlList :: [DominatorTree] -> Text

TextShow Label

Methods

showbPrec :: Int -> Label -> Builder

showb :: Label -> Builder

showbList :: [Label] -> Builder

showtPrec :: Int -> Label -> Text

showt :: Label -> Text

showtList :: [Label] -> Text

showtlPrec :: Int -> Label -> Text

showtl :: Label -> Text

showtlList :: [Label] -> Text

TextShow LabelSet

Methods

showbPrec :: Int -> LabelSet -> Builder

showb :: LabelSet -> Builder

showbList :: [LabelSet] -> Builder

showtPrec :: Int -> LabelSet -> Text

showt :: LabelSet -> Text

showtList :: [LabelSet] -> Text

showtlPrec :: Int -> LabelSet -> Text

showtl :: LabelSet -> Text

showtlList :: [LabelSet] -> Text

TextShow UniqueSet

Methods

showbPrec :: Int -> UniqueSet -> Builder

showb :: UniqueSet -> Builder

showbList :: [UniqueSet] -> Builder

showtPrec :: Int -> UniqueSet -> Text

showt :: UniqueSet -> Text

showtList :: [UniqueSet] -> Text

showtlPrec :: Int -> UniqueSet -> Text

showtl :: UniqueSet -> Text

showtlList :: [UniqueSet] -> Text

TextShow1 LabelMap

Methods

liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> LabelMap a -> Builder

liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [LabelMap a] -> Builder

TextShow1 UniqueMap

Methods

liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> UniqueMap a -> Builder

liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [UniqueMap a] -> Builder

TextShow v0 => TextShow (LabelMap v0)

Methods

showbPrec :: Int -> LabelMap v0 -> Builder

showb :: LabelMap v0 -> Builder

showbList :: [LabelMap v0] -> Builder

showtPrec :: Int -> LabelMap v0 -> Text

showt :: LabelMap v0 -> Text

showtList :: [LabelMap v0] -> Text

showtlPrec :: Int -> LabelMap v0 -> Text

showtl :: LabelMap v0 -> Text

showtlList :: [LabelMap v0] -> Text

TextShow v0 => TextShow (UniqueMap v0)

Methods

showbPrec :: Int -> UniqueMap v0 -> Builder

showb :: UniqueMap v0 -> Builder

showbList :: [UniqueMap v0] -> Builder

showtPrec :: Int -> UniqueMap v0 -> Text

showt :: UniqueMap v0 -> Text

showtList :: [UniqueMap v0] -> Text

showtlPrec :: Int -> UniqueMap v0 -> Text

showtl :: UniqueMap v0 -> Text

showtlList :: [UniqueMap v0] -> Text

TextShow2 (Pointed t)

Methods

liftShowbPrec2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> Int -> Pointed t a b -> Builder

liftShowbList2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> [Pointed t a b] -> Builder

TextShow1 (Pointed t b)

Methods

liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> Pointed t b a -> Builder

liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [Pointed t b a] -> Builder

TextShow a => TextShow (Pointed t b a)

Methods

showbPrec :: Int -> Pointed t b a -> Builder

showb :: Pointed t b a -> Builder

showbList :: [Pointed t b a] -> Builder

showtPrec :: Int -> Pointed t b a -> Text

showt :: Pointed t b a -> Text

showtList :: [Pointed t b a] -> Text

showtlPrec :: Int -> Pointed t b a -> Text

showtl :: Pointed t b a -> Text

showtlList :: [Pointed t b a] -> Text