Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Util.ColorText

Documentation

type ColorText = AnnotatedText Color Source #

data Color Source #

Constructors

Black
Red
Green
Yellow
Blue
Purple
Cyan
White
HiBlack
HiRed
HiGreen
HiYellow
HiBlue
HiPurple
HiCyan
HiWhite
Bold
Underline
Invert Color
Background Color Color
Default

Instances

Instances details

Read Color Source #
Instance details Defined in Unison.Util.ColorText Methods readsPrec :: Int -> ReadS Color # readList :: ReadS [Color] # readPrec :: ReadPrec Color # readListPrec :: ReadPrec [Color] #
Show Color Source #
Instance details Defined in Unison.Util.ColorText Methods showsPrec :: Int -> Color -> ShowS # show :: Color -> String # showList :: [Color] -> ShowS #
Eq Color Source #
Instance details Defined in Unison.Util.ColorText Methods (==) :: Color -> Color -> Bool # (/=) :: Color -> Color -> Bool #
Ord Color Source #
Instance details Defined in Unison.Util.ColorText Methods compare :: Color -> Color -> Ordering # (<) :: Color -> Color -> Bool # (<=) :: Color -> Color -> Bool # (>) :: Color -> Color -> Bool # (>=) :: Color -> Color -> Bool # max :: Color -> Color -> Color # min :: Color -> Color -> Color #

style :: Color -> ColorText -> ColorText Source #

toANSI :: ColorText -> String Source #

toPlain :: ColorText -> String Source #

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

defaultColors :: Element r -> Maybe Color Source #

black :: ColorText -> ColorText Source #

red :: ColorText -> ColorText Source #

green :: ColorText -> ColorText Source #

yellow :: ColorText -> ColorText Source #

blue :: ColorText -> ColorText Source #

purple :: ColorText -> ColorText Source #

cyan :: ColorText -> ColorText Source #

white :: ColorText -> ColorText Source #

hiBlack :: ColorText -> ColorText Source #

hiRed :: ColorText -> ColorText Source #

hiGreen :: ColorText -> ColorText Source #

hiYellow :: ColorText -> ColorText Source #

hiBlue :: ColorText -> ColorText Source #

hiPurple :: ColorText -> ColorText Source #

hiCyan :: ColorText -> ColorText Source #

hiWhite :: ColorText -> ColorText Source #

bold :: ColorText -> ColorText Source #

underline :: ColorText -> ColorText Source #

invert :: ColorText -> ColorText Source #

background :: Color -> ColorText -> ColorText Source #

unstyled :: ColorText -> ColorText Source #

newtype AnnotatedText a Source #

Constructors

AnnotatedText (Seq (Segment a))

Instances

Instances details

Foldable AnnotatedText Source #
Instance details Defined in Unison.Util.AnnotatedText Methods fold :: Monoid m => AnnotatedText m -> m # foldMap :: Monoid m => (a -> m) -> AnnotatedText a -> m # foldMap' :: Monoid m => (a -> m) -> AnnotatedText a -> m # foldr :: (a -> b -> b) -> b -> AnnotatedText a -> b # foldr' :: (a -> b -> b) -> b -> AnnotatedText a -> b # foldl :: (b -> a -> b) -> b -> AnnotatedText a -> b # foldl' :: (b -> a -> b) -> b -> AnnotatedText a -> b # foldr1 :: (a -> a -> a) -> AnnotatedText a -> a # foldl1 :: (a -> a -> a) -> AnnotatedText a -> a # toList :: AnnotatedText a -> [a] # null :: AnnotatedText a -> Bool # length :: AnnotatedText a -> Int # elem :: Eq a => a -> AnnotatedText a -> Bool # maximum :: Ord a => AnnotatedText a -> a # minimum :: Ord a => AnnotatedText a -> a # sum :: Num a => AnnotatedText a -> a # product :: Num a => AnnotatedText a -> a #
Functor AnnotatedText Source #
Instance details Defined in Unison.Util.AnnotatedText Methods fmap :: (a -> b) -> AnnotatedText a -> AnnotatedText b # (<$) :: a -> AnnotatedText b -> AnnotatedText a #
IsString (AnnotatedText a) Source #
Instance details Defined in Unison.Util.AnnotatedText Methods fromString :: String -> AnnotatedText a #
Monoid (AnnotatedText a) Source #
Instance details Defined in Unison.Util.AnnotatedText Methods mempty :: AnnotatedText a # mappend :: AnnotatedText a -> AnnotatedText a -> AnnotatedText a # mconcat :: [AnnotatedText a] -> AnnotatedText a #
Semigroup (AnnotatedText a) Source #
Instance details Defined in Unison.Util.AnnotatedText Methods (<>) :: AnnotatedText a -> AnnotatedText a -> AnnotatedText a # sconcat :: NonEmpty (AnnotatedText a) -> AnnotatedText a # stimes :: Integral b => b -> AnnotatedText a -> AnnotatedText a #
Generic (AnnotatedText a) Source #
Instance details Defined in Unison.Util.AnnotatedText Associated Types type Rep (AnnotatedText a) :: Type -> Type # Methods from :: AnnotatedText a -> Rep (AnnotatedText a) x # to :: Rep (AnnotatedText a) x -> AnnotatedText a #
IsList (AnnotatedText a) Source #
Instance details Defined in Unison.Util.AnnotatedText Associated Types type Item (AnnotatedText a) # Methods fromList :: [Item (AnnotatedText a)] -> AnnotatedText a # fromListN :: Int -> [Item (AnnotatedText a)] -> AnnotatedText a # toList :: AnnotatedText a -> [Item (AnnotatedText a)] #
Show a => Show (AnnotatedText a) Source #
Instance details Defined in Unison.Util.AnnotatedText Methods showsPrec :: Int -> AnnotatedText a -> ShowS # show :: AnnotatedText a -> String # showList :: [AnnotatedText a] -> ShowS #
Eq a => Eq (AnnotatedText a) Source #
Instance details Defined in Unison.Util.AnnotatedText Methods (==) :: AnnotatedText a -> AnnotatedText a -> Bool # (/=) :: AnnotatedText a -> AnnotatedText a -> Bool #
Ord a => Ord (AnnotatedText a) Source #
Instance details Defined in Unison.Util.AnnotatedText Methods compare :: AnnotatedText a -> AnnotatedText a -> Ordering # (<) :: AnnotatedText a -> AnnotatedText a -> Bool # (<=) :: AnnotatedText a -> AnnotatedText a -> Bool # (>) :: AnnotatedText a -> AnnotatedText a -> Bool # (>=) :: AnnotatedText a -> AnnotatedText a -> Bool # max :: AnnotatedText a -> AnnotatedText a -> AnnotatedText a # min :: AnnotatedText a -> AnnotatedText a -> AnnotatedText a #
ListLike (AnnotatedText a) Char Source #
Instance details Defined in Unison.Util.AnnotatedText Methods empty :: AnnotatedText a # singleton :: Char -> AnnotatedText a # cons :: Char -> AnnotatedText a -> AnnotatedText a # snoc :: AnnotatedText a -> Char -> AnnotatedText a # append :: AnnotatedText a -> AnnotatedText a -> AnnotatedText a # head :: AnnotatedText a -> Char # uncons :: AnnotatedText a -> Maybe (Char, AnnotatedText a) # last :: AnnotatedText a -> Char # tail :: AnnotatedText a -> AnnotatedText a # init :: AnnotatedText a -> AnnotatedText a # null :: AnnotatedText a -> Bool # length :: AnnotatedText a -> Int # map :: ListLike full' item' => (Char -> item') -> AnnotatedText a -> full' # rigidMap :: (Char -> Char) -> AnnotatedText a -> AnnotatedText a # reverse :: AnnotatedText a -> AnnotatedText a # intersperse :: Char -> AnnotatedText a -> AnnotatedText a # concat :: ListLike full' (AnnotatedText a) => full' -> AnnotatedText a # concatMap :: ListLike full' item' => (Char -> full') -> AnnotatedText a -> full' # rigidConcatMap :: (Char -> AnnotatedText a) -> AnnotatedText a -> AnnotatedText a # any :: (Char -> Bool) -> AnnotatedText a -> Bool # all :: (Char -> Bool) -> AnnotatedText a -> Bool # maximum :: AnnotatedText a -> Char # minimum :: AnnotatedText a -> Char # replicate :: Int -> Char -> AnnotatedText a # take :: Int -> AnnotatedText a -> AnnotatedText a # drop :: Int -> AnnotatedText a -> AnnotatedText a # splitAt :: Int -> AnnotatedText a -> (AnnotatedText a, AnnotatedText a) # takeWhile :: (Char -> Bool) -> AnnotatedText a -> AnnotatedText a # dropWhile :: (Char -> Bool) -> AnnotatedText a -> AnnotatedText a # dropWhileEnd :: (Char -> Bool) -> AnnotatedText a -> AnnotatedText a # span :: (Char -> Bool) -> AnnotatedText a -> (AnnotatedText a, AnnotatedText a) # break :: (Char -> Bool) -> AnnotatedText a -> (AnnotatedText a, AnnotatedText a) # group :: (ListLike full' (AnnotatedText a), Eq Char) => AnnotatedText a -> full' # inits :: ListLike full' (AnnotatedText a) => AnnotatedText a -> full' # tails :: ListLike full' (AnnotatedText a) => AnnotatedText a -> full' # isPrefixOf :: AnnotatedText a -> AnnotatedText a -> Bool # isSuffixOf :: AnnotatedText a -> AnnotatedText a -> Bool # isInfixOf :: AnnotatedText a -> AnnotatedText a -> Bool # stripPrefix :: AnnotatedText a -> AnnotatedText a -> Maybe (AnnotatedText a) # stripSuffix :: AnnotatedText a -> AnnotatedText a -> Maybe (AnnotatedText a) # elem :: Char -> AnnotatedText a -> Bool # notElem :: Char -> AnnotatedText a -> Bool # find :: (Char -> Bool) -> AnnotatedText a -> Maybe Char # filter :: (Char -> Bool) -> AnnotatedText a -> AnnotatedText a # partition :: (Char -> Bool) -> AnnotatedText a -> (AnnotatedText a, AnnotatedText a) # index :: AnnotatedText a -> Int -> Char # elemIndex :: Char -> AnnotatedText a -> Maybe Int # elemIndices :: (Eq Char, ListLike result Int) => Char -> AnnotatedText a -> result # findIndex :: (Char -> Bool) -> AnnotatedText a -> Maybe Int # findIndices :: ListLike result Int => (Char -> Bool) -> AnnotatedText a -> result # sequence :: (Applicative m, ListLike fullinp (m Char)) => fullinp -> m (AnnotatedText a) # mapM :: (Applicative m, ListLike full' item') => (Char -> m item') -> AnnotatedText a -> m full' # rigidMapM :: Monad m => (Char -> m Char) -> AnnotatedText a -> m (AnnotatedText a) # nub :: AnnotatedText a -> AnnotatedText a # delete :: Char -> AnnotatedText a -> AnnotatedText a # deleteFirsts :: AnnotatedText a -> AnnotatedText a -> AnnotatedText a # union :: AnnotatedText a -> AnnotatedText a -> AnnotatedText a # intersect :: AnnotatedText a -> AnnotatedText a -> AnnotatedText a # sort :: AnnotatedText a -> AnnotatedText a # insert :: Char -> AnnotatedText a -> AnnotatedText a # toList' :: AnnotatedText a -> [Char] # fromList' :: [Char] -> AnnotatedText a # fromListLike :: ListLike full' Char => AnnotatedText a -> full' # nubBy :: (Char -> Char -> Bool) -> AnnotatedText a -> AnnotatedText a # deleteBy :: (Char -> Char -> Bool) -> Char -> AnnotatedText a -> AnnotatedText a # deleteFirstsBy :: (Char -> Char -> Bool) -> AnnotatedText a -> AnnotatedText a -> AnnotatedText a # unionBy :: (Char -> Char -> Bool) -> AnnotatedText a -> AnnotatedText a -> AnnotatedText a # intersectBy :: (Char -> Char -> Bool) -> AnnotatedText a -> AnnotatedText a -> AnnotatedText a # groupBy :: (ListLike full' (AnnotatedText a), Eq Char) => (Char -> Char -> Bool) -> AnnotatedText a -> full' # sortBy :: (Char -> Char -> Ordering) -> AnnotatedText a -> AnnotatedText a # insertBy :: (Char -> Char -> Ordering) -> Char -> AnnotatedText a -> AnnotatedText a # genericLength :: Num a0 => AnnotatedText a -> a0 # genericTake :: Integral a0 => a0 -> AnnotatedText a -> AnnotatedText a # genericDrop :: Integral a0 => a0 -> AnnotatedText a -> AnnotatedText a # genericSplitAt :: Integral a0 => a0 -> AnnotatedText a -> (AnnotatedText a, AnnotatedText a) # genericReplicate :: Integral a0 => a0 -> Char -> AnnotatedText a #
FoldableLL (AnnotatedText a) Char Source #
Instance details Defined in Unison.Util.AnnotatedText Methods foldl :: (a0 -> Char -> a0) -> a0 -> AnnotatedText a -> a0 # foldl' :: (a0 -> Char -> a0) -> a0 -> AnnotatedText a -> a0 # foldl1 :: (Char -> Char -> Char) -> AnnotatedText a -> Char # foldr :: (Char -> b -> b) -> b -> AnnotatedText a -> b # foldr' :: (Char -> b -> b) -> b -> AnnotatedText a -> b # foldr1 :: (Char -> Char -> Char) -> AnnotatedText a -> Char #
type Rep (AnnotatedText a) Source #
Instance details Defined in Unison.Util.AnnotatedText type Rep (AnnotatedText a) = D1 ('MetaData "AnnotatedText" "Unison.Util.AnnotatedText" "unison-pretty-printer-0.0.0-JaQ4cM0rSg6FItGMqbm2nz" 'True) (C1 ('MetaCons "AnnotatedText" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Seq (Segment a)))))
type Item (AnnotatedText a) Source #
Instance details Defined in Unison.Util.AnnotatedText type Item (AnnotatedText a) = Char

data Segment a Source #

Constructors

Segment
Fields segment :: String annotation :: Maybe a

Instances

Instances details

Foldable Segment Source #
Instance details Defined in Unison.Util.AnnotatedText Methods fold :: Monoid m => Segment m -> m # foldMap :: Monoid m => (a -> m) -> Segment a -> m # foldMap' :: Monoid m => (a -> m) -> Segment a -> m # foldr :: (a -> b -> b) -> b -> Segment a -> b # foldr' :: (a -> b -> b) -> b -> Segment a -> b # foldl :: (b -> a -> b) -> b -> Segment a -> b # foldl' :: (b -> a -> b) -> b -> Segment a -> b # foldr1 :: (a -> a -> a) -> Segment a -> a # foldl1 :: (a -> a -> a) -> Segment a -> a # toList :: Segment a -> [a] # null :: Segment a -> Bool # length :: Segment a -> Int # elem :: Eq a => a -> Segment a -> Bool # maximum :: Ord a => Segment a -> a # minimum :: Ord a => Segment a -> a # sum :: Num a => Segment a -> a # product :: Num a => Segment a -> a #
Functor Segment Source #
Instance details Defined in Unison.Util.AnnotatedText Methods fmap :: (a -> b) -> Segment a -> Segment b # (<$) :: a -> Segment b -> Segment a #
Generic (Segment a) Source #
Instance details Defined in Unison.Util.AnnotatedText Associated Types type Rep (Segment a) :: Type -> Type # Methods from :: Segment a -> Rep (Segment a) x # to :: Rep (Segment a) x -> Segment a #
Show a => Show (Segment a) Source #
Instance details Defined in Unison.Util.AnnotatedText Methods showsPrec :: Int -> Segment a -> ShowS # show :: Segment a -> String # showList :: [Segment a] -> ShowS #
Eq a => Eq (Segment a) Source #
Instance details Defined in Unison.Util.AnnotatedText Methods (==) :: Segment a -> Segment a -> Bool # (/=) :: Segment a -> Segment a -> Bool #
Ord a => Ord (Segment a) Source #
Instance details Defined in Unison.Util.AnnotatedText Methods compare :: Segment a -> Segment a -> Ordering # (<) :: Segment a -> Segment a -> Bool # (<=) :: Segment a -> Segment a -> Bool # (>) :: Segment a -> Segment a -> Bool # (>=) :: Segment a -> Segment a -> Bool # max :: Segment a -> Segment a -> Segment a # min :: Segment a -> Segment a -> Segment a #
type Rep (Segment a) Source #
Instance details Defined in Unison.Util.AnnotatedText type Rep (Segment a) = D1 ('MetaData "Segment" "Unison.Util.AnnotatedText" "unison-pretty-printer-0.0.0-JaQ4cM0rSg6FItGMqbm2nz" 'False) (C1 ('MetaCons "Segment" 'PrefixI 'True) (S1 ('MetaSel ('Just "segment") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "annotation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe a))))

toPair :: Segment a -> (String, Maybe a) Source #

annotate :: a -> AnnotatedText a -> AnnotatedText a Source #