Language.Fixpoint.Utils.Builder

Wrapper around Builder that exports some useful combinators

Documentation

data Builder

Offers efficient concatenation, no matter the associativity

Instances

IsString Builder

Defined in Language.Fixpoint.Utils.Builder

Methods

fromString :: String -> Builder

Monoid Builder

Defined in Language.Fixpoint.Utils.Builder

Methods

mempty :: Builder

mappend :: Builder -> Builder -> Builder

mconcat :: [Builder] -> Builder

Semigroup Builder

Defined in Language.Fixpoint.Utils.Builder

Methods

(<>) :: Builder -> Builder -> Builder

sconcat :: NonEmpty Builder -> Builder

stimes :: Integral b => b -> Builder -> Builder

Eq Builder

Defined in Language.Fixpoint.Utils.Builder

Methods

(==) :: Builder -> Builder -> Bool

(/=) :: Builder -> Builder -> Bool

fromLazyText :: Text -> Builder

fromString :: IsString a => String -> a

fromText :: Text -> Builder

toLazyText :: Builder -> Text

parens :: Builder -> Builder

(<+>) :: Builder -> Builder -> Builder infixl 9

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