Text.Pretty.PatternArrows

newtype Pattern u a b

Star has no Lazy instance

Constructors

• Pattern (Star (StateT u Maybe) a b)

Instances

• Semigroupoid (Pattern u)
• Category (Pattern u)
• Profunctor (Pattern u)
• Strong (Pattern u)
• Functor (Pattern u a)
• Apply (Pattern u a)
• Applicative (Pattern u a)
• Alt (Pattern u a)
• Plus (Pattern u a)
• Alternative (Pattern u a)
• Lazy (Pattern u a b)

runPattern :: forall u b a. Pattern u a b -> (a -> StateT u Maybe b)

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

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

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

fix :: forall r a u. (Pattern u a r -> Pattern u a r) -> Pattern u a r

chainl :: forall r a u. Pattern u a (Tuple a a) -> (r -> r -> r) -> Pattern u a r -> Pattern u a r

chainr :: forall r a u. Pattern u a (Tuple a a) -> (r -> r -> r) -> Pattern u a r -> Pattern u a r

wrap' :: forall r s a u. Pattern u a (Tuple s a) -> (s -> r -> r) -> Pattern u a r -> Pattern u a r

split' :: forall r t s a u. Pattern u a (Tuple s t) -> (s -> t -> r) -> Pattern u a r

class Op op  where

Members

• assocL :: forall r a u. Pattern u a (Tuple a a) -> (r -> r -> r) -> op u a r
• assocR :: forall r a u. Pattern u a (Tuple a a) -> (r -> r -> r) -> op u a r
• wrap :: forall r s a u. Pattern u a (Tuple s a) -> (s -> r -> r) -> op u a r
• split :: forall r t s a u. Pattern u a (Tuple s t) -> (s -> t -> r) -> op u a r

Instances

• Op PatternEndo

data Operator u a r

Constructors

• Operator (forall op. Op op => op u a r)

data OperatorTable u a r

Constructors

• OperatorTable (Array (NonEmpty Array (Operator u a r)))

runOperatorTable :: forall r a u. OperatorTable u a r -> Array (NonEmpty Array (Operator u a r))

data PatternEndo u a r

Constructors

• PatternEndo (Pattern u a r -> Pattern u a r)

Instances

• Op PatternEndo

runPatternEndo :: forall r a u. PatternEndo u a r -> Pattern u a r -> Pattern u a r

toPatternEndo :: forall r a u. Operator u a r -> Pattern u a r -> Pattern u a r

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