Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Util.Pretty

Contents

Exported for testing

Synopsis

data Pretty s
type ColorText = ColorText
align :: (ListLike s Char, IsString s) => [(Pretty s, Pretty s)] -> [Pretty s]
align' :: (ListLike s Char, IsString s) => [(Pretty s, Maybe (Pretty s))] -> [(Pretty s, Pretty s)]
alternations :: ListLike s c => (c -> Bool) -> s -> [s]
background :: (Pretty ColorText -> Pretty ColorText) -> Pretty ColorText -> Pretty ColorText
backticked :: IsString s => Pretty s -> Pretty s
backticked' :: IsString s => Pretty s -> Pretty s -> Pretty s
boxForkLeft :: forall s. (ListLike s Char, IsString s) => [Pretty s] -> [Pretty s]
boxLeft :: forall s. (ListLike s Char, IsString s) => [Pretty s] -> [Pretty s]
boxLeftM :: forall m s. (Monad m, ListLike s Char, IsString s) => [m (Pretty s)] -> [m (Pretty s)]
boxRight :: forall s. (ListLike s Char, IsString s) => [Pretty s] -> [Pretty s]
boxRightM :: forall m s. (Monad m, ListLike s Char, IsString s) => [m (Pretty s)] -> [m (Pretty s)]
bulleted :: (Foldable f, ListLike s Char, IsString s) => f (Pretty s) -> Pretty s
bracket :: (ListLike s Char, IsString s) => Pretty s -> Pretty s
callout :: (ListLike s Char, IsString s) => Pretty s -> Pretty s -> Pretty s
excerptSep :: IsString s => Maybe Int -> Pretty s -> [Pretty s] -> Pretty s
excerptSep' :: IsString s => Maybe Int -> (Int -> Pretty s) -> Pretty s -> [Pretty s] -> Pretty s
excerptColumn2 :: (ListLike s Char, IsString s) => Maybe Int -> [(Pretty s, Pretty s)] -> Pretty s
excerptColumn2Headed :: (ListLike s Char, IsString s) => Maybe Int -> (Pretty s, Pretty s) -> [(Pretty s, Pretty s)] -> Pretty s
warnCallout :: (ListLike s Char, IsString s) => Pretty s -> Pretty s
blockedCallout :: (ListLike s Char, IsString s) => Pretty s -> Pretty s
fatalCallout :: (ListLike s Char, IsString s) => Pretty s -> Pretty s
okCallout :: (ListLike s Char, IsString s) => Pretty s -> Pretty s
column2 :: (ListLike s Char, IsString s) => [(Pretty s, Pretty s)] -> Pretty s
column2sep :: (ListLike s Char, IsString s) => Pretty s -> [(Pretty s, Pretty s)] -> Pretty s
column2Header :: Pretty ColorText -> Pretty ColorText -> [(Pretty ColorText, Pretty ColorText)] -> Pretty ColorText
column2M :: (Applicative m, ListLike s Char, IsString s) => [m (Pretty s, Pretty s)] -> m (Pretty s)
column2UnzippedM :: forall m s. (ListLike s Char, IsString s, Monad m) => Pretty s -> [m (Pretty s)] -> [m (Pretty s)] -> m (Pretty s)
column3 :: (ListLike s Char, IsString s) => [(Pretty s, Pretty s, Pretty s)] -> Pretty s
column3M :: (ListLike s Char, IsString s, Monad m) => [m (Pretty s, Pretty s, Pretty s)] -> m (Pretty s)
column3UnzippedM :: forall m s. (ListLike s Char, IsString s, Monad m) => Pretty s -> [m (Pretty s)] -> [m (Pretty s)] -> [m (Pretty s)] -> m (Pretty s)
column3sep :: (ListLike s Char, IsString s) => Pretty s -> [(Pretty s, Pretty s, Pretty s)] -> Pretty s
column3Header :: Pretty ColorText -> Pretty ColorText -> Pretty ColorText -> [(Pretty ColorText, Pretty ColorText, Pretty ColorText)] -> Pretty ColorText
columnNHeader :: [Pretty ColorText] -> [[Pretty ColorText]] -> Pretty ColorText
commas :: (Foldable f, IsString s) => f (Pretty s) -> Pretty s
commented :: (Foldable f, ListLike s Char, IsString s) => f (Pretty s) -> Pretty s
oxfordCommas :: (Foldable f, IsString s) => f (Pretty s) -> Pretty s
oxfordCommasWith :: (Foldable f, IsString s) => Pretty s -> f (Pretty s) -> Pretty s
plural :: Foldable f => f a -> Pretty ColorText -> Pretty ColorText
dashed :: (Foldable f, ListLike s Char, IsString s) => f (Pretty s) -> Pretty s
flatMap :: (s -> Pretty s2) -> Pretty s -> Pretty s2
group :: Pretty s -> Pretty s
hang' :: (ListLike s Char, IsString s) => Pretty s -> Pretty s -> Pretty s -> Pretty s
hang :: (ListLike s Char, IsString s) => Pretty s -> Pretty s -> Pretty s
hangUngrouped' :: (ListLike s Char, IsString s) => Pretty s -> Pretty s -> Pretty s -> Pretty s
hangUngrouped :: (ListLike s Char, IsString s) => Pretty s -> Pretty s -> Pretty s
softHang' :: (ListLike s Char, IsString s) => Pretty s -> Pretty s -> Pretty s -> Pretty s
softHang :: (ListLike s Char, IsString s) => Pretty s -> Pretty s -> Pretty s
softHangNoSpace' :: (ListLike s Char, IsString s) => Pretty s -> Pretty s -> Pretty s -> Pretty s
indent :: (ListLike s Char, IsString s) => Pretty s -> Pretty s -> Pretty s
indentAfterNewline :: (ListLike s Char, IsString s) => Pretty s -> Pretty s -> Pretty s
indentN :: (ListLike s Char, IsString s) => Width -> Pretty s -> Pretty s
indentNonEmptyN :: (ListLike s Char, IsString s) => Width -> Pretty s -> Pretty s
indentNAfterNewline :: (ListLike s Char, IsString s) => Width -> Pretty s -> Pretty s
invert :: Pretty ColorText -> Pretty ColorText
isMultiLine :: Pretty s -> Bool
isEmpty :: Eq s => IsString s => Pretty s -> Bool
leftPad :: IsString s => Width -> Pretty s -> Pretty s
lines :: (Foldable f, IsString s) => f (Pretty s) -> Pretty s
linesNonEmpty :: (Foldable f, IsString s) => f (Pretty s) -> Pretty s
linesSpaced :: (Foldable f, IsString s) => f (Pretty s) -> Pretty s
lit :: (IsString s, ListLike s Char) => s -> Pretty s
map :: ListLike s2 Char => (s -> s2) -> Pretty s -> Pretty s2
mayColumn2 :: (ListLike s Char, IsString s) => [(Pretty s, Maybe (Pretty s))] -> Pretty s
nest :: (ListLike s Char, IsString s) => Pretty s -> Pretty s -> Pretty s
num :: (Show n, Num n, IsString s) => n -> Pretty s
newline :: IsString s => Pretty s
leftJustify :: (Eq s, ListLike s Char, IsString s) => [(Pretty s, a)] -> [(Pretty s, a)]
lineSkip :: IsString s => Pretty s
nonEmpty :: (Foldable f, IsString s) => f (Pretty s) -> [Pretty s]
numbered :: (Foldable f, ListLike s Char, IsString s) => (Int -> Pretty s) -> f (Pretty s) -> Pretty s
numberedColumn2ListFrom :: Foldable f => Int -> f (Pretty ColorText, Pretty ColorText) -> Pretty ColorText
numberedColumn2Header :: (Foldable f, ListLike s Char, IsString s) => (Int -> Pretty s) -> f (Pretty s, Pretty s) -> Pretty s
numberedColumnNHeader :: [Pretty ColorText] -> [[Pretty ColorText]] -> Pretty ColorText
numberedList :: Foldable f => f (Pretty ColorText) -> Pretty ColorText
numberedListFrom :: Foldable f => Int -> f (Pretty ColorText) -> Pretty ColorText
orElse :: Pretty s -> Pretty s -> Pretty s
orElses :: [Pretty s] -> Pretty s
paragraphyText :: (ListLike s Char, IsString s) => Text -> Pretty s
parenthesize :: IsString s => Pretty s -> Pretty s
parenthesizeCommas :: (Foldable f, IsString s) => f (Pretty s) -> Pretty s
parenthesizeIf :: IsString s => Bool -> Pretty s -> Pretty s
render :: (Monoid s, IsString s) => Width -> Pretty s -> s
renderUnbroken :: (Monoid s, IsString s) => Pretty s -> s
rightPad :: IsString s => Width -> Pretty s -> Pretty s
sep :: (Foldable f, IsString s) => Pretty s -> f (Pretty s) -> Pretty s
sepNonEmpty :: (Foldable f, IsString s) => Pretty s -> f (Pretty s) -> Pretty s
sepSpaced :: (Foldable f, IsString s) => Pretty s -> f (Pretty s) -> Pretty s
shown :: (Show a, IsString s) => a -> Pretty s
pshown :: (Show a, IsString s) => a -> Pretty s
singleQuoted :: IsString s => Pretty s -> Pretty s
singleQuoted' :: IsString s => Pretty s -> Pretty s -> Pretty s
softbreak :: IsString s => Pretty s
spaceIfBreak :: IsString s => Pretty s
spaceIfNeeded :: Eq s => IsString s => Pretty s -> Pretty s -> Pretty s
spaced :: (Foldable f, IsString s) => f (Pretty s) -> Pretty s
spacedMap :: (Foldable f, IsString s) => (a -> Pretty s) -> f a -> Pretty s
spacedTraverse :: (Traversable f, IsString s, Applicative m) => (a -> m (Pretty s)) -> f a -> m (Pretty s)
spacesIfBreak :: IsString s => Int -> Pretty s
string :: IsString s => String -> Pretty s
surroundCommas :: (Foldable f, IsString s) => Pretty s -> Pretty s -> f (Pretty s) -> Pretty s
syntaxToColor :: Pretty (SyntaxText' r) -> Pretty ColorText
table :: (IsString s, ListLike s Char) => [[Pretty s]] -> Pretty s
text :: IsString s => Text -> Pretty s
toANSI :: Width -> Pretty ColorText -> String
toAnsiUnbroken :: Pretty ColorText -> String
toHTML :: String -> Width -> Pretty ColorText -> String
toPlain :: Width -> Pretty ColorText -> String
toPlainUnbroken :: Pretty ColorText -> String
underline :: Pretty ColorText -> Pretty ColorText
withSyntax :: Element r -> Pretty (SyntaxText' r) -> Pretty (SyntaxText' r)
wrap :: (ListLike s Char, IsString s) => Pretty s -> Pretty s
wrap' :: IsString s => (s -> [Pretty s]) -> Pretty s -> Pretty s
wrapColumn2 :: (ListLike s Char, IsString s) => [(Pretty s, Pretty s)] -> Pretty s
wrapString :: (ListLike s Char, IsString s) => String -> Pretty s
black :: Pretty ColorText -> Pretty ColorText
red :: Pretty ColorText -> Pretty ColorText
green :: Pretty ColorText -> Pretty ColorText
yellow :: Pretty ColorText -> Pretty ColorText
blue :: Pretty ColorText -> Pretty ColorText
purple :: Pretty ColorText -> Pretty ColorText
cyan :: Pretty ColorText -> Pretty ColorText
white :: Pretty ColorText -> Pretty ColorText
hiBlack :: Pretty ColorText -> Pretty ColorText
hiRed :: Pretty ColorText -> Pretty ColorText
hiGreen :: Pretty ColorText -> Pretty ColorText
hiYellow :: Pretty ColorText -> Pretty ColorText
hiBlue :: Pretty ColorText -> Pretty ColorText
hiPurple :: Pretty ColorText -> Pretty ColorText
hiCyan :: Pretty ColorText -> Pretty ColorText
hiWhite :: Pretty ColorText -> Pretty ColorText
bold :: Pretty ColorText -> Pretty ColorText
border :: (ListLike s Char, IsString s) => Width -> Pretty s -> Pretty s
newtype Width = Width {
- widthToInt :: Int
}
delta :: Pretty s -> Delta
data Delta

Documentation

data Pretty s Source #

Instances

Instances details

Functor Pretty Source #
Instance details Defined in Unison.Util.Pretty Methods fmap :: (a -> b) -> Pretty a -> Pretty b # (<$) :: a -> Pretty b -> Pretty a #
IsString s => IsString (Pretty s) Source #
Instance details Defined in Unison.Util.Pretty Methods fromString :: String -> Pretty s #
Monoid (Pretty s) Source #
Instance details Defined in Unison.Util.Pretty Methods mempty :: Pretty s # mappend :: Pretty s -> Pretty s -> Pretty s # mconcat :: [Pretty s] -> Pretty s #
Semigroup (Pretty s) Source #
Instance details Defined in Unison.Util.Pretty Methods (<>) :: Pretty s -> Pretty s -> Pretty s # sconcat :: NonEmpty (Pretty s) -> Pretty s # stimes :: Integral b => b -> Pretty s -> Pretty s #
Show s => Show (Pretty s) Source #
Instance details Defined in Unison.Util.Pretty Methods showsPrec :: Int -> Pretty s -> ShowS # show :: Pretty s -> String # showList :: [Pretty s] -> ShowS #
Eq s => Eq (Pretty s) Source #
Instance details Defined in Unison.Util.Pretty Methods (==) :: Pretty s -> Pretty s -> Bool # (/=) :: Pretty s -> Pretty s -> Bool #

type ColorText = ColorText Source #

align :: (ListLike s Char, IsString s) => [(Pretty s, Pretty s)] -> [Pretty s] Source #

align' :: (ListLike s Char, IsString s) => [(Pretty s, Maybe (Pretty s))] -> [(Pretty s, Pretty s)] Source #

alternations :: ListLike s c => (c -> Bool) -> s -> [s] Source #

background :: (Pretty ColorText -> Pretty ColorText) -> Pretty ColorText -> Pretty ColorText Source #

backticked :: IsString s => Pretty s -> Pretty s Source #

backticked' :: IsString s => Pretty s -> Pretty s -> Pretty s Source #

Attach some punctuation after the closing backtick.

boxForkLeft :: forall s. (ListLike s Char, IsString s) => [Pretty s] -> [Pretty s] Source #

boxLeft :: forall s. (ListLike s Char, IsString s) => [Pretty s] -> [Pretty s] Source #

boxLeftM :: forall m s. (Monad m, ListLike s Char, IsString s) => [m (Pretty s)] -> [m (Pretty s)] Source #

boxRight :: forall s. (ListLike s Char, IsString s) => [Pretty s] -> [Pretty s] Source #

boxRightM :: forall m s. (Monad m, ListLike s Char, IsString s) => [m (Pretty s)] -> [m (Pretty s)] Source #

bulleted :: (Foldable f, ListLike s Char, IsString s) => f (Pretty s) -> Pretty s Source #

bracket :: (ListLike s Char, IsString s) => Pretty s -> Pretty s Source #

callout :: (ListLike s Char, IsString s) => Pretty s -> Pretty s -> Pretty s Source #

excerptSep :: IsString s => Maybe Int -> Pretty s -> [Pretty s] -> Pretty s Source #

excerptSep' :: IsString s => Maybe Int -> (Int -> Pretty s) -> Pretty s -> [Pretty s] -> Pretty s Source #

excerptColumn2 :: (ListLike s Char, IsString s) => Maybe Int -> [(Pretty s, Pretty s)] -> Pretty s Source #

excerptColumn2Headed :: (ListLike s Char, IsString s) => Maybe Int -> (Pretty s, Pretty s) -> [(Pretty s, Pretty s)] -> Pretty s Source #

warnCallout :: (ListLike s Char, IsString s) => Pretty s -> Pretty s Source #

blockedCallout :: (ListLike s Char, IsString s) => Pretty s -> Pretty s Source #

fatalCallout :: (ListLike s Char, IsString s) => Pretty s -> Pretty s Source #

okCallout :: (ListLike s Char, IsString s) => Pretty s -> Pretty s Source #

column2 :: (ListLike s Char, IsString s) => [(Pretty s, Pretty s)] -> Pretty s Source #

column2sep :: (ListLike s Char, IsString s) => Pretty s -> [(Pretty s, Pretty s)] -> Pretty s Source #

column2Header :: Pretty ColorText -> Pretty ColorText -> [(Pretty ColorText, Pretty ColorText)] -> Pretty ColorText Source #

column2M :: (Applicative m, ListLike s Char, IsString s) => [m (Pretty s, Pretty s)] -> m (Pretty s) Source #

column2UnzippedM :: forall m s. (ListLike s Char, IsString s, Monad m) => Pretty s -> [m (Pretty s)] -> [m (Pretty s)] -> m (Pretty s) Source #

column3 :: (ListLike s Char, IsString s) => [(Pretty s, Pretty s, Pretty s)] -> Pretty s Source #

column3M :: (ListLike s Char, IsString s, Monad m) => [m (Pretty s, Pretty s, Pretty s)] -> m (Pretty s) Source #

column3UnzippedM :: forall m s. (ListLike s Char, IsString s, Monad m) => Pretty s -> [m (Pretty s)] -> [m (Pretty s)] -> [m (Pretty s)] -> m (Pretty s) Source #

column3sep :: (ListLike s Char, IsString s) => Pretty s -> [(Pretty s, Pretty s, Pretty s)] -> Pretty s Source #

column3Header :: Pretty ColorText -> Pretty ColorText -> Pretty ColorText -> [(Pretty ColorText, Pretty ColorText, Pretty ColorText)] -> Pretty ColorText Source #

columnNHeader :: [Pretty ColorText] -> [[Pretty ColorText]] -> Pretty ColorText Source #

Creates an aligned table with an arbitrary number of columns and column headers. Ensure all rows have the same number of columns or the alignment may be off.

commas :: (Foldable f, IsString s) => f (Pretty s) -> Pretty s Source #

commented :: (Foldable f, ListLike s Char, IsString s) => f (Pretty s) -> Pretty s Source #

oxfordCommas :: (Foldable f, IsString s) => f (Pretty s) -> Pretty s Source #

oxfordCommasWith :: (Foldable f, IsString s) => Pretty s -> f (Pretty s) -> Pretty s Source #

plural :: Foldable f => f a -> Pretty ColorText -> Pretty ColorText Source #

dashed :: (Foldable f, ListLike s Char, IsString s) => f (Pretty s) -> Pretty s Source #

flatMap :: (s -> Pretty s2) -> Pretty s -> Pretty s2 Source #

group :: Pretty s -> Pretty s Source #

hang' :: (ListLike s Char, IsString s) => Pretty s -> Pretty s -> Pretty s -> Pretty s Source #

hang :: (ListLike s Char, IsString s) => Pretty s -> Pretty s -> Pretty s Source #

hangUngrouped' :: (ListLike s Char, IsString s) => Pretty s -> Pretty s -> Pretty s -> Pretty s Source #

hangUngrouped :: (ListLike s Char, IsString s) => Pretty s -> Pretty s -> Pretty s Source #

softHang' :: (ListLike s Char, IsString s) => Pretty s -> Pretty s -> Pretty s -> Pretty s Source #

softHang :: (ListLike s Char, IsString s) => Pretty s -> Pretty s -> Pretty s Source #

softHangNoSpace' :: (ListLike s Char, IsString s) => Pretty s -> Pretty s -> Pretty s -> Pretty s Source #

indent :: (ListLike s Char, IsString s) => Pretty s -> Pretty s -> Pretty s Source #

indentAfterNewline :: (ListLike s Char, IsString s) => Pretty s -> Pretty s -> Pretty s Source #

indentN :: (ListLike s Char, IsString s) => Width -> Pretty s -> Pretty s Source #

indentNonEmptyN :: (ListLike s Char, IsString s) => Width -> Pretty s -> Pretty s Source #

indentNAfterNewline :: (ListLike s Char, IsString s) => Width -> Pretty s -> Pretty s Source #

invert :: Pretty ColorText -> Pretty ColorText Source #

isMultiLine :: Pretty s -> Bool Source #

isEmpty :: Eq s => IsString s => Pretty s -> Bool Source #

leftPad :: IsString s => Width -> Pretty s -> Pretty s Source #

lines :: (Foldable f, IsString s) => f (Pretty s) -> Pretty s Source #

linesNonEmpty :: (Foldable f, IsString s) => f (Pretty s) -> Pretty s Source #

linesSpaced :: (Foldable f, IsString s) => f (Pretty s) -> Pretty s Source #

lit :: (IsString s, ListLike s Char) => s -> Pretty s Source #

map :: ListLike s2 Char => (s -> s2) -> Pretty s -> Pretty s2 Source #

mayColumn2 :: (ListLike s Char, IsString s) => [(Pretty s, Maybe (Pretty s))] -> Pretty s Source #

nest :: (ListLike s Char, IsString s) => Pretty s -> Pretty s -> Pretty s Source #

num :: (Show n, Num n, IsString s) => n -> Pretty s Source #

newline :: IsString s => Pretty s Source #

leftJustify :: (Eq s, ListLike s Char, IsString s) => [(Pretty s, a)] -> [(Pretty s, a)] Source #

lineSkip :: IsString s => Pretty s Source #

nonEmpty :: (Foldable f, IsString s) => f (Pretty s) -> [Pretty s] Source #

numbered :: (Foldable f, ListLike s Char, IsString s) => (Int -> Pretty s) -> f (Pretty s) -> Pretty s Source #

numberedColumn2ListFrom :: Foldable f => Int -> f (Pretty ColorText, Pretty ColorText) -> Pretty ColorText Source #

numberedColumn2Header :: (Foldable f, ListLike s Char, IsString s) => (Int -> Pretty s) -> f (Pretty s, Pretty s) -> Pretty s Source #

numberedColumnNHeader :: [Pretty ColorText] -> [[Pretty ColorText]] -> Pretty ColorText Source #

numberedList :: Foldable f => f (Pretty ColorText) -> Pretty ColorText Source #

numberedListFrom :: Foldable f => Int -> f (Pretty ColorText) -> Pretty ColorText Source #

orElse :: Pretty s -> Pretty s -> Pretty s Source #

orElses :: [Pretty s] -> Pretty s Source #

paragraphyText :: (ListLike s Char, IsString s) => Text -> Pretty s Source #

parenthesize :: IsString s => Pretty s -> Pretty s Source #

parenthesizeCommas :: (Foldable f, IsString s) => f (Pretty s) -> Pretty s Source #

parenthesizeIf :: IsString s => Bool -> Pretty s -> Pretty s Source #

render :: (Monoid s, IsString s) => Width -> Pretty s -> s Source #

renderUnbroken :: (Monoid s, IsString s) => Pretty s -> s Source #

rightPad :: IsString s => Width -> Pretty s -> Pretty s Source #

sep :: (Foldable f, IsString s) => Pretty s -> f (Pretty s) -> Pretty s Source #

sepNonEmpty :: (Foldable f, IsString s) => Pretty s -> f (Pretty s) -> Pretty s Source #

sepSpaced :: (Foldable f, IsString s) => Pretty s -> f (Pretty s) -> Pretty s Source #

shown :: (Show a, IsString s) => a -> Pretty s Source #

pshown :: (Show a, IsString s) => a -> Pretty s Source #

Like shown, but uses a pretty layout (so long as the Show instance is derived).

singleQuoted :: IsString s => Pretty s -> Pretty s Source #

singleQuoted' :: IsString s => Pretty s -> Pretty s -> Pretty s Source #

softbreak :: IsString s => Pretty s Source #

spaceIfBreak :: IsString s => Pretty s Source #

spaceIfNeeded :: Eq s => IsString s => Pretty s -> Pretty s -> Pretty s Source #

spaced :: (Foldable f, IsString s) => f (Pretty s) -> Pretty s Source #

spacedMap :: (Foldable f, IsString s) => (a -> Pretty s) -> f a -> Pretty s Source #

spacedTraverse :: (Traversable f, IsString s, Applicative m) => (a -> m (Pretty s)) -> f a -> m (Pretty s) Source #

spacesIfBreak :: IsString s => Int -> Pretty s Source #

string :: IsString s => String -> Pretty s Source #

surroundCommas :: (Foldable f, IsString s) => Pretty s -> Pretty s -> f (Pretty s) -> Pretty s Source #

syntaxToColor :: Pretty (SyntaxText' r) -> Pretty ColorText Source #

table :: (IsString s, ListLike s Char) => [[Pretty s]] -> Pretty s Source #

text :: IsString s => Text -> Pretty s Source #

toANSI :: Width -> Pretty ColorText -> String Source #

toAnsiUnbroken :: Pretty ColorText -> String Source #

toHTML :: String -> Width -> Pretty ColorText -> String Source #

toPlain :: Width -> Pretty ColorText -> String Source #

toPlainUnbroken :: Pretty ColorText -> String Source #

underline :: Pretty ColorText -> Pretty ColorText Source #

withSyntax :: Element r -> Pretty (SyntaxText' r) -> Pretty (SyntaxText' r) Source #

wrap :: (ListLike s Char, IsString s) => Pretty s -> Pretty s Source #

wrap' :: IsString s => (s -> [Pretty s]) -> Pretty s -> Pretty s Source #

wrapColumn2 :: (ListLike s Char, IsString s) => [(Pretty s, Pretty s)] -> Pretty s Source #

wrapString :: (ListLike s Char, IsString s) => String -> Pretty s Source #

black :: Pretty ColorText -> Pretty ColorText Source #

red :: Pretty ColorText -> Pretty ColorText Source #

green :: Pretty ColorText -> Pretty ColorText Source #

yellow :: Pretty ColorText -> Pretty ColorText Source #

blue :: Pretty ColorText -> Pretty ColorText Source #

purple :: Pretty ColorText -> Pretty ColorText Source #

cyan :: Pretty ColorText -> Pretty ColorText Source #

white :: Pretty ColorText -> Pretty ColorText Source #

hiBlack :: Pretty ColorText -> Pretty ColorText Source #

hiRed :: Pretty ColorText -> Pretty ColorText Source #

hiGreen :: Pretty ColorText -> Pretty ColorText Source #

hiYellow :: Pretty ColorText -> Pretty ColorText Source #

hiBlue :: Pretty ColorText -> Pretty ColorText Source #

hiPurple :: Pretty ColorText -> Pretty ColorText Source #

hiCyan :: Pretty ColorText -> Pretty ColorText Source #

hiWhite :: Pretty ColorText -> Pretty ColorText Source #

bold :: Pretty ColorText -> Pretty ColorText Source #

border :: (ListLike s Char, IsString s) => Width -> Pretty s -> Pretty s Source #

newtype Width Source #

Constructors

Width
Fields widthToInt :: Int

Instances

Instances details

Bounded Width Source #
Instance details Defined in Unison.Util.Pretty Methods minBound :: Width # maxBound :: Width #
Generic Width Source #
Instance details Defined in Unison.Util.Pretty Associated Types type Rep Width :: Type -> Type # Methods from :: Width -> Rep Width x # to :: Rep Width x -> Width #
Num Width Source #
Instance details Defined in Unison.Util.Pretty Methods (+) :: Width -> Width -> Width # (-) :: Width -> Width -> Width # (*) :: Width -> Width -> Width # negate :: Width -> Width # abs :: Width -> Width # signum :: Width -> Width # fromInteger :: Integer -> Width #
Show Width Source #
Instance details Defined in Unison.Util.Pretty Methods showsPrec :: Int -> Width -> ShowS # show :: Width -> String # showList :: [Width] -> ShowS #
Eq Width Source #
Instance details Defined in Unison.Util.Pretty Methods (==) :: Width -> Width -> Bool # (/=) :: Width -> Width -> Bool #
Ord Width Source #
Instance details Defined in Unison.Util.Pretty Methods compare :: Width -> Width -> Ordering # (<) :: Width -> Width -> Bool # (<=) :: Width -> Width -> Bool # (>) :: Width -> Width -> Bool # (>=) :: Width -> Width -> Bool # max :: Width -> Width -> Width # min :: Width -> Width -> Width #
type Rep Width Source #
Instance details Defined in Unison.Util.Pretty type Rep Width = D1 ('MetaData "Width" "Unison.Util.Pretty" "unison-pretty-printer-0.0.0-JaQ4cM0rSg6FItGMqbm2nz" 'True) (C1 ('MetaCons "Width" 'PrefixI 'True) (S1 ('MetaSel ('Just "widthToInt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Exported for testing

delta :: Pretty s -> Delta Source #

data Delta Source #

Instances

Instances details

Monoid Delta Source #
Instance details Defined in Unison.Util.Pretty Methods mempty :: Delta # mappend :: Delta -> Delta -> Delta # mconcat :: [Delta] -> Delta #
Semigroup Delta Source #
Instance details Defined in Unison.Util.Pretty Methods (<>) :: Delta -> Delta -> Delta # sconcat :: NonEmpty Delta -> Delta # stimes :: Integral b => b -> Delta -> Delta #
Show Delta Source #
Instance details Defined in Unison.Util.Pretty Methods showsPrec :: Int -> Delta -> ShowS # show :: Delta -> String # showList :: [Delta] -> ShowS #
Eq Delta Source #
Instance details Defined in Unison.Util.Pretty Methods (==) :: Delta -> Delta -> Bool # (/=) :: Delta -> Delta -> Bool #
Ord Delta Source #
Instance details Defined in Unison.Util.Pretty Methods compare :: Delta -> Delta -> Ordering # (<) :: Delta -> Delta -> Bool # (<=) :: Delta -> Delta -> Bool # (>) :: Delta -> Delta -> Bool # (>=) :: Delta -> Delta -> Bool # max :: Delta -> Delta -> Delta # min :: Delta -> Delta -> Delta #