Language.PureScript.Pretty.Common

Documentation

identToJs :: Ident -> String

newtype Pattern u a b

Constructors

Pattern

Fields

runPattern :: Kleisli (StateT u Maybe) a b

Instances

Arrow (Pattern u)

ArrowZero (Pattern u)

ArrowPlus (Pattern u)

Category (Pattern u)

Functor (Pattern u a)

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

mkPattern :: (a -> Maybe b) -> Pattern u a b

mkPattern' :: (a -> StateT u Maybe b) -> Pattern u a b

parens :: String -> String

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

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

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

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

data OperatorTable u a r

Constructors

OperatorTable

Fields

runOperatorTable :: [[Operator u a r]]

data Operator u a r where

Constructors

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

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

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

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

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