Language.PureScript.Sugar.Operators.Common

Documentation

type Chain a = [Either a a]

toAssoc :: Associativity -> Assoc

token :: Stream s Identity t => (t -> Maybe a) -> Parsec s u a

parseValue :: Parsec (Chain a) () a

parseOp :: (a -> Maybe (Qualified Ident)) -> Parsec (Chain a) () (Qualified Ident)

matchOp :: (a -> Maybe (Qualified Ident)) -> Qualified Ident -> Parsec (Chain a) () ()

opTable :: [[(Qualified Ident, Associativity)]] -> (a -> Maybe (Qualified Ident)) -> (Qualified Ident -> a -> a -> a) -> [[Operator (Chain a) () Identity a]]

matchOperators :: forall a. Show a => (a -> Bool) -> (a -> Maybe (a, a, a)) -> (a -> Maybe (Qualified Ident)) -> (Qualified Ident -> a -> a -> a) -> ([[Operator (Chain a) () Identity a]] -> OperatorTable (Chain a) () Identity a) -> [[(Qualified Ident, Associativity)]] -> a -> a