Kleene.Internal.Pretty

Documentation

class Pretty a where

Pretty class.

For pretty :: RE -> String gives a representation accepted by many regex engines.

Minimal complete definition

pretty | prettyS

Methods

pretty :: a -> String

prettyS :: a -> ShowS

Instances

Pretty Bool

Defined in Kleene.Internal.Pretty

Methods

pretty :: Bool -> String

prettyS :: Bool -> ShowS

Pretty Char

Escapes special regexp characters

Defined in Kleene.Internal.Pretty

Methods

pretty :: Char -> String

prettyS :: Char -> ShowS

Pretty ()

Defined in Kleene.Internal.Pretty

Methods

pretty :: () -> String

prettyS :: () -> ShowS

Show a => Pretty [a]

Defined in Kleene.Internal.Pretty

Methods

pretty :: [a] -> String

prettyS :: [a] -> ShowS

Pretty a => Pretty (Maybe a)

Defined in Kleene.Internal.Pretty

Methods

pretty :: Maybe a -> String

prettyS :: Maybe a -> ShowS

c ~ Char => Pretty (RSet c)

Defined in Kleene.Internal.Pretty

Methods

pretty :: RSet c -> String

prettyS :: RSet c -> ShowS

c ~ Char => Pretty (RE c)

Defined in Kleene.Internal.RE

Methods

pretty :: RE c -> String

prettyS :: RE c -> ShowS

c ~ Char => Pretty (ERE c)

Defined in Kleene.ERE

Methods

pretty :: ERE c -> String

prettyS :: ERE c -> ShowS

Show c => Pretty (DFA c)

Defined in Kleene.DFA

Methods

pretty :: DFA c -> String

prettyS :: DFA c -> ShowS

(Pretty c, Eq c) => Pretty (M c)

Defined in Kleene.Monad

Methods

pretty :: M c -> String

prettyS :: M c -> ShowS

(Pretty a, Pretty b) => Pretty (Either a b)

Defined in Kleene.Internal.Pretty

Methods

pretty :: Either a b -> String

prettyS :: Either a b -> ShowS

(Pretty a, Pretty b) => Pretty (a, b)

Defined in Kleene.Internal.Pretty

Methods

pretty :: (a, b) -> String

prettyS :: (a, b) -> ShowS

Pretty (r c) => Pretty (Equiv r c)

Defined in Kleene.Equiv

Methods

pretty :: Equiv r c -> String

prettyS :: Equiv r c -> ShowS

c ~ Char => Pretty (K c a)

Convert to non-matching JavaScript string which can be used as an argument to new RegExp

>>> putPretty ("foobar" :: K Char String)
^foobar$

>>> putPretty $ many ("foobar" :: K Char String)
^(foobar)*$

Defined in Kleene.Internal.Functor

Methods

pretty :: K c a -> String

prettyS :: K c a -> ShowS

c ~ Char => Pretty (K1 c a)

Convert to non-matching JavaScript string which can be used as an argument to new RegExp

>>> putPretty ("foobar" :: K Char String)
^foobar$

>>> putPretty $ many ("foobar" :: K Char String)
^(foobar)*$

Defined in Kleene.Functor.NonEmpty

Methods

pretty :: K1 c a -> String

prettyS :: K1 c a -> ShowS

putPretty :: Pretty a => a -> IO ()

putStrLn . pretty