Symantic.Parser.Grammar.Optimize

Type Comb

data Comb (repr :: Type -> Type) a where

Pattern-matchable Combinators of the grammar. (repr) is not strictly necessary since it's only a phantom type (no constructor use it as a value), but having it:

1. emphasizes that those Combinators will be transformed again (eg. in DumpComb or Instructions).
2. Avoid overlapping instances between (Trans (Comb repr) repr) and (Trans (Comb repr) (OptimizeComb letName repr))

Constructors

Pure :: Haskell a -> Comb repr a

Satisfy :: Satisfiable repr tok => [ErrorItem tok] -> Haskell (tok -> Bool) -> Comb repr tok

Item :: Satisfiable repr tok => Comb repr tok

Try :: Comb repr a -> Comb repr a

Look :: Comb repr a -> Comb repr a

NegLook :: Comb repr a -> Comb repr ()

Eof :: Comb repr ()

(:<*>) :: Comb repr (a -> b) -> Comb repr a -> Comb repr b infixl 4

(:<|>) :: Comb repr a -> Comb repr a -> Comb repr a infixl 3

Empty :: Comb repr a

Branch :: Comb repr (Either a b) -> Comb repr (a -> c) -> Comb repr (b -> c) -> Comb repr c

Match :: Eq a => [Haskell (a -> Bool)] -> [Comb repr b] -> Comb repr a -> Comb repr b -> Comb repr b

ChainPre :: Comb repr (a -> a) -> Comb repr a -> Comb repr a

ChainPost :: Comb repr a -> Comb repr (a -> a) -> Comb repr a

Def :: Name -> Comb repr a -> Comb repr a

Ref :: Bool -> Name -> Comb repr a

Instances

Letable Name (Comb repr)

Defined in Symantic.Parser.Grammar.Optimize

Methods

def :: Name -> Comb repr a -> Comb repr a

ref :: Bool -> Name -> Comb repr a

Lookable (Comb repr)

Defined in Symantic.Parser.Grammar.Optimize

Methods

look :: Comb repr a -> Comb repr a

negLook :: Comb repr a -> Comb repr ()

eof :: Comb repr ()

Foldable (Comb repr)

Defined in Symantic.Parser.Grammar.Optimize

Methods

chainPre :: Comb repr (a -> a) -> Comb repr a -> Comb repr a

chainPost :: Comb repr a -> Comb repr (a -> a) -> Comb repr a

Matchable (Comb repr)

Defined in Symantic.Parser.Grammar.Optimize

Methods

conditional :: Eq a => [Haskell (a -> Bool)] -> [Comb repr b] -> Comb repr a -> Comb repr b -> Comb repr b

match :: Eq a => [Haskell a] -> Comb repr a -> (Haskell a -> Comb repr b) -> Comb repr b -> Comb repr b

Selectable (Comb repr)

Defined in Symantic.Parser.Grammar.Optimize

Methods

branch :: Comb repr (Either a b) -> Comb repr (a -> c) -> Comb repr (b -> c) -> Comb repr c

Alternable (Comb repr)

Defined in Symantic.Parser.Grammar.Optimize

Methods

(<|>) :: Comb repr a -> Comb repr a -> Comb repr a

empty :: Comb repr a

try :: Comb repr a -> Comb repr a

(<+>) :: (Applicable (Comb repr), Alternable (Comb repr)) => Comb repr a -> Comb repr b -> Comb repr (Either a b)

Applicable (Comb repr)

Defined in Symantic.Parser.Grammar.Optimize

Methods

(<$>) :: Haskell (a -> b) -> Comb repr a -> Comb repr b

(<&>) :: Comb repr a -> Haskell (a -> b) -> Comb repr b

(<$) :: Haskell a -> Comb repr b -> Comb repr a

($>) :: Comb repr a -> Haskell b -> Comb repr b

pure :: Haskell a -> Comb repr a

(<*>) :: Comb repr (a -> b) -> Comb repr a -> Comb repr b

liftA2 :: Haskell (a -> b -> c) -> Comb repr a -> Comb repr b -> Comb repr c

(<*) :: Comb repr a -> Comb repr b -> Comb repr a

(*>) :: Comb repr a -> Comb repr b -> Comb repr b

(<**>) :: Comb repr a -> Comb repr (a -> b) -> Comb repr b

(Applicable repr, Alternable repr, Selectable repr, Foldable repr, Lookable repr, Matchable repr, Letable Name repr) => Trans (Comb repr) repr

Defined in Symantic.Parser.Grammar.Optimize

Methods

trans :: Comb repr a -> repr a

Satisfiable repr tok => Satisfiable (Comb repr) tok

Defined in Symantic.Parser.Grammar.Optimize

Methods

satisfy :: [ErrorItem tok] -> Haskell (tok -> Bool) -> Comb repr tok

Trans3 (Comb repr) (OptimizeComb letName repr)

Defined in Symantic.Parser.Grammar.Optimize

Methods

trans3 :: (Comb repr a -> Comb repr b -> Comb repr c -> Comb repr d) -> OptimizeComb letName repr a -> OptimizeComb letName repr b -> OptimizeComb letName repr c -> OptimizeComb letName repr d

Trans2 (Comb repr) (OptimizeComb letName repr)

Defined in Symantic.Parser.Grammar.Optimize

Methods

trans2 :: (Comb repr a -> Comb repr b -> Comb repr c) -> OptimizeComb letName repr a -> OptimizeComb letName repr b -> OptimizeComb letName repr c

Trans1 (Comb repr) (OptimizeComb letName repr)

Defined in Symantic.Parser.Grammar.Optimize

Methods

trans1 :: (Comb repr a -> Comb repr b) -> OptimizeComb letName repr a -> OptimizeComb letName repr b

Trans (Comb repr) (OptimizeComb letName repr)

Defined in Symantic.Parser.Grammar.Optimize

Methods

trans :: Comb repr a -> OptimizeComb letName repr a

Trans (OptimizeComb letName repr) (Comb repr)

Defined in Symantic.Parser.Grammar.Optimize

Methods

trans :: OptimizeComb letName repr a -> Comb repr a

type Output (Comb repr)

Defined in Symantic.Parser.Grammar.Optimize

type Output (Comb repr) = repr

pattern (:<$>) :: Haskell (a -> b) -> Comb repr a -> Comb repr b infixl 4

pattern (:$>) :: Comb repr a -> Haskell b -> Comb repr b infixl 4

pattern (:<$) :: Haskell a -> Comb repr b -> Comb repr a infixl 4

pattern (:*>) :: Comb repr a -> Comb repr b -> Comb repr b infixl 4

pattern (:<*) :: Comb repr a -> Comb repr b -> Comb repr a infixl 4

Type OptimizeComb

newtype OptimizeComb letName repr a

Constructors

OptimizeComb

Fields

• unOptimizeComb :: Comb repr a

Instances

Letable letName (Comb repr) => Letable letName (OptimizeComb letName repr)

Defined in Symantic.Parser.Grammar.Optimize

Methods

def :: letName -> OptimizeComb letName repr a -> OptimizeComb letName repr a

ref :: Bool -> letName -> OptimizeComb letName repr a

Trans3 (Comb repr) (OptimizeComb letName repr)

Defined in Symantic.Parser.Grammar.Optimize

Methods

trans3 :: (Comb repr a -> Comb repr b -> Comb repr c -> Comb repr d) -> OptimizeComb letName repr a -> OptimizeComb letName repr b -> OptimizeComb letName repr c -> OptimizeComb letName repr d

Trans2 (Comb repr) (OptimizeComb letName repr)

Defined in Symantic.Parser.Grammar.Optimize

Methods

trans2 :: (Comb repr a -> Comb repr b -> Comb repr c) -> OptimizeComb letName repr a -> OptimizeComb letName repr b -> OptimizeComb letName repr c

Trans1 (Comb repr) (OptimizeComb letName repr)

Defined in Symantic.Parser.Grammar.Optimize

Methods

trans1 :: (Comb repr a -> Comb repr b) -> OptimizeComb letName repr a -> OptimizeComb letName repr b

Trans (Comb repr) (OptimizeComb letName repr)

Defined in Symantic.Parser.Grammar.Optimize

Methods

trans :: Comb repr a -> OptimizeComb letName repr a

Lookable (OptimizeComb letName repr)

Defined in Symantic.Parser.Grammar.Optimize

Methods

look :: OptimizeComb letName repr a -> OptimizeComb letName repr a

negLook :: OptimizeComb letName repr a -> OptimizeComb letName repr ()

eof :: OptimizeComb letName repr ()

Foldable (OptimizeComb letName repr)

Defined in Symantic.Parser.Grammar.Optimize

Methods

chainPre :: OptimizeComb letName repr (a -> a) -> OptimizeComb letName repr a -> OptimizeComb letName repr a

chainPost :: OptimizeComb letName repr a -> OptimizeComb letName repr (a -> a) -> OptimizeComb letName repr a

Matchable (OptimizeComb letName repr)

Defined in Symantic.Parser.Grammar.Optimize

Methods

conditional :: Eq a => [Haskell (a -> Bool)] -> [OptimizeComb letName repr b] -> OptimizeComb letName repr a -> OptimizeComb letName repr b -> OptimizeComb letName repr b

match :: Eq a => [Haskell a] -> OptimizeComb letName repr a -> (Haskell a -> OptimizeComb letName repr b) -> OptimizeComb letName repr b -> OptimizeComb letName repr b

Selectable (OptimizeComb letName repr)

Defined in Symantic.Parser.Grammar.Optimize

Methods

branch :: OptimizeComb letName repr (Either a b) -> OptimizeComb letName repr (a -> c) -> OptimizeComb letName repr (b -> c) -> OptimizeComb letName repr c

Alternable (OptimizeComb letName repr)

Defined in Symantic.Parser.Grammar.Optimize

Methods

(<|>) :: OptimizeComb letName repr a -> OptimizeComb letName repr a -> OptimizeComb letName repr a

empty :: OptimizeComb letName repr a

try :: OptimizeComb letName repr a -> OptimizeComb letName repr a

(<+>) :: (Applicable (OptimizeComb letName repr), Alternable (OptimizeComb letName repr)) => OptimizeComb letName repr a -> OptimizeComb letName repr b -> OptimizeComb letName repr (Either a b)

Applicable (OptimizeComb letName repr)

Defined in Symantic.Parser.Grammar.Optimize

Methods

(<$>) :: Haskell (a -> b) -> OptimizeComb letName repr a -> OptimizeComb letName repr b

(<&>) :: OptimizeComb letName repr a -> Haskell (a -> b) -> OptimizeComb letName repr b

(<$) :: Haskell a -> OptimizeComb letName repr b -> OptimizeComb letName repr a

($>) :: OptimizeComb letName repr a -> Haskell b -> OptimizeComb letName repr b

pure :: Haskell a -> OptimizeComb letName repr a

(<*>) :: OptimizeComb letName repr (a -> b) -> OptimizeComb letName repr a -> OptimizeComb letName repr b

liftA2 :: Haskell (a -> b -> c) -> OptimizeComb letName repr a -> OptimizeComb letName repr b -> OptimizeComb letName repr c

(<*) :: OptimizeComb letName repr a -> OptimizeComb letName repr b -> OptimizeComb letName repr a

(*>) :: OptimizeComb letName repr a -> OptimizeComb letName repr b -> OptimizeComb letName repr b

(<**>) :: OptimizeComb letName repr a -> OptimizeComb letName repr (a -> b) -> OptimizeComb letName repr b

Trans (Comb repr) repr => Trans (OptimizeComb letName repr) repr

Defined in Symantic.Parser.Grammar.Optimize

Methods

trans :: OptimizeComb letName repr a -> repr a

Satisfiable repr tok => Satisfiable (OptimizeComb letName repr) tok

Defined in Symantic.Parser.Grammar.Optimize

Methods

satisfy :: [ErrorItem tok] -> Haskell (tok -> Bool) -> OptimizeComb letName repr tok

Trans (OptimizeComb letName repr) (Comb repr)

Defined in Symantic.Parser.Grammar.Optimize

Methods

trans :: OptimizeComb letName repr a -> Comb repr a

type Output (OptimizeComb _letName repr)

Defined in Symantic.Parser.Grammar.Optimize

type Output (OptimizeComb _letName repr) = Comb repr

optimizeComb :: Trans (OptimizeComb Name repr) repr => OptimizeComb Name repr a -> repr a

optimizeCombNode :: Comb repr a -> Comb repr a

Orphan instances

MakeLetName Name

Methods

makeLetName :: SharingName -> IO Name