Language.PureScript.Pretty.Common

Documentation

identToJs :: Ident -> String

newtype Pattern a b

Constructors

Pattern

Fields

runPattern :: Kleisli Maybe a b

Instances

Arrow Pattern

ArrowZero Pattern

ArrowPlus Pattern

Category Pattern

Functor (Pattern a)

pattern :: Pattern a b -> a -> Maybe b

parens :: String -> String

chainl :: Pattern a (a, a) -> (r -> r -> r) -> Pattern a r -> Pattern a r

chainr :: Pattern a (a, a) -> (r -> r -> r) -> Pattern a r -> Pattern a r

wrap :: Pattern a (s, a) -> (s -> r -> r) -> Pattern a r -> Pattern a r

split :: Pattern a (s, t) -> (s -> t -> r) -> Pattern a r -> Pattern a r

data OperatorTable a r

Constructors

OperatorTable

Fields

runOperatorTable :: [[Operator a r]]

data Operator a r where

Constructors

AssocL :: Pattern a (a, a) -> (r -> r -> r) -> Operator a r

AssocR :: Pattern a (a, a) -> (r -> r -> r) -> Operator a r

Wrap :: Pattern a (s, a) -> (s -> r -> r) -> Operator a r

Split :: Pattern a (s, t) -> (s -> t -> r) -> Operator a r

buildPrettyPrinter :: OperatorTable a r -> Pattern a r -> Pattern a r