liquid-fixpoint-0.8.10.7: Predicate Abstraction-based Horn-Clause/Implication Constraint Solver

Safe Haskell	Safe-Inferred
Language	Haskell98

Language.Fixpoint.Utils.Builder

Description

Wrapper around Builder that exports some useful combinators

Synopsis

data Builder
fromLazyText :: Text -> Builder
fromString :: IsString a => String -> a
fromText :: Text -> Builder
toLazyText :: Builder -> Text
parens :: Builder -> Builder
(<+>) :: Builder -> Builder -> Builder
parenSeqs :: [Builder] -> Builder
seqs :: [Builder] -> Builder
key :: Builder -> Builder -> Builder
key2 :: Builder -> Builder -> Builder -> Builder
key3 :: Builder -> Builder -> Builder -> Builder -> Builder
bShow :: Show a => a -> Builder
bFloat :: RealFloat a => a -> Builder
bb :: Text -> Builder
lbb :: Text -> Builder
blt :: Builder -> Text

Documentation

data Builder Source #

Offers efficient concatenation, no matter the associativity

Instances

Instances details

Eq Builder Source #
Instance details Defined in Language.Fixpoint.Utils.Builder Methods (==) :: Builder -> Builder -> Bool # (/=) :: Builder -> Builder -> Bool #
IsString Builder Source #
Instance details Defined in Language.Fixpoint.Utils.Builder Methods fromString :: String -> Builder #
Semigroup Builder Source #
Instance details Defined in Language.Fixpoint.Utils.Builder Methods (<>) :: Builder -> Builder -> Builder # sconcat :: NonEmpty Builder -> Builder # stimes :: Integral b => b -> Builder -> Builder #
Monoid Builder Source #
Instance details Defined in Language.Fixpoint.Utils.Builder Methods mempty :: Builder # mappend :: Builder -> Builder -> Builder # mconcat :: [Builder] -> Builder #

fromLazyText :: Text -> Builder Source #

fromString :: IsString a => String -> a #

fromText :: Text -> Builder Source #

toLazyText :: Builder -> Text Source #

parens :: Builder -> Builder Source #

(<+>) :: Builder -> Builder -> Builder Source #

parenSeqs :: [Builder] -> Builder Source #

seqs :: [Builder] -> Builder Source #

key :: Builder -> Builder -> Builder Source #

key2 :: Builder -> Builder -> Builder -> Builder Source #

key3 :: Builder -> Builder -> Builder -> Builder -> Builder Source #

bShow :: Show a => a -> Builder Source #

bFloat :: RealFloat a => a -> Builder Source #

bb :: Text -> Builder Source #

lbb :: Text -> Builder Source #

blt :: Builder -> Text Source #