ADP.Fusion.Core.Term.Switch

Switches allow enabling and disabling individual rules on a global level.

TODO Consider moving the switch status to the type level. TODO Consider using patterns for the switch status and encode using Ints.

Documentation

data SwitchStatus

Explicit naming of the status of the switch.

Constructors

Disabled

Enabled

Instances

Eq SwitchStatus

Defined in ADP.Fusion.Core.Term.Switch

Methods

(==) :: SwitchStatus -> SwitchStatus -> Bool

(/=) :: SwitchStatus -> SwitchStatus -> Bool

Ord SwitchStatus

Defined in ADP.Fusion.Core.Term.Switch

Methods

compare :: SwitchStatus -> SwitchStatus -> Ordering

(<) :: SwitchStatus -> SwitchStatus -> Bool

(<=) :: SwitchStatus -> SwitchStatus -> Bool

(>) :: SwitchStatus -> SwitchStatus -> Bool

(>=) :: SwitchStatus -> SwitchStatus -> Bool

max :: SwitchStatus -> SwitchStatus -> SwitchStatus

min :: SwitchStatus -> SwitchStatus -> SwitchStatus

Show SwitchStatus

Defined in ADP.Fusion.Core.Term.Switch

Methods

showsPrec :: Int -> SwitchStatus -> ShowS

show :: SwitchStatus -> String

showList :: [SwitchStatus] -> ShowS

data Switch where

Terminal for the switch. The switch status is not given to any function, since processing of the rule already indicates that the switch is enabled -- if all other symbols parse successfully. Due to consistency, the type of result is ().

Constructors

Switch :: !SwitchStatus -> Switch

Instances

Build Switch

Defined in ADP.Fusion.Core.Term.Switch

Associated Types

type Stack Switch :: Type

Methods

build :: Switch -> Stack Switch

(TermStream m (Z :. pos) (TermSymbol M Switch) (Elm (Term1 (Elm ls (PointL i))) (Z :. PointL i)) (Z :. PointL i), posLeft ~ LeftPosTy pos Switch (PointL i), TermStaticVar pos Switch (PointL i), MkStream m posLeft ls (PointL i)) => MkStream m (pos :: Type) (ls :!: Switch) (PointL i)

Defined in ADP.Fusion.PointL.Term.Switch

Methods

mkStream :: Proxy pos -> (ls :!: Switch) -> Int# -> LimitType (PointL i) -> PointL i -> Stream m (Elm (ls :!: Switch) (PointL i))

TermStreamContext m ps ts s x0 i0 is (PointL O) => TermStream m (ps :. OStatic d :: Type) (TermSymbol ts Switch) s (is :. PointL O)

Defined in ADP.Fusion.PointL.Term.Switch

Methods

termStream :: Proxy (ps :. OStatic d) -> TermSymbol ts Switch -> LimitType (is :. PointL O) -> (is :. PointL O) -> Stream m (TermState s Z Z) -> Stream m (TermState s (is :. PointL O) (TermArg (TermSymbol ts Switch)))

TermStreamContext m ps ts s x0 i0 is (PointL I) => TermStream m (ps :. IStatic d :: Type) (TermSymbol ts Switch) s (is :. PointL I)

Defined in ADP.Fusion.PointL.Term.Switch

Methods

termStream :: Proxy (ps :. IStatic d) -> TermSymbol ts Switch -> LimitType (is :. PointL I) -> (is :. PointL I) -> Stream m (TermState s Z Z) -> Stream m (TermState s (is :. PointL I) (TermArg (TermSymbol ts Switch)))

TermStaticVar (IStatic d :: Type) Switch (PointL I)

Defined in ADP.Fusion.PointL.Term.Switch

Methods

termStreamIndex :: Proxy (IStatic d) -> Switch -> PointL I -> PointL I

termStaticCheck :: Proxy (IStatic d) -> Switch -> LimitType (PointL I) -> PointL I -> Int# -> Int#

TermStaticVar (OStatic d :: Type) Switch (PointL O)

Defined in ADP.Fusion.PointL.Term.Switch

Methods

termStreamIndex :: Proxy (OStatic d) -> Switch -> PointL O -> PointL O

termStaticCheck :: Proxy (OStatic d) -> Switch -> LimitType (PointL O) -> PointL O -> Int# -> Int#

(Show i, Show (RunningIndex i), Show (Elm ls i)) => Show (Elm (ls :!: Switch) i)

Defined in ADP.Fusion.Core.Term.Switch

Methods

showsPrec :: Int -> Elm (ls :!: Switch) i -> ShowS

show :: Elm (ls :!: Switch) i -> String

showList :: [Elm (ls :!: Switch) i] -> ShowS

Element ls i => Element (ls :!: Switch) i

Defined in ADP.Fusion.Core.Term.Switch

Associated Types

data Elm (ls :!: Switch) i :: Type

type RecElm (ls :!: Switch) i :: Type

type Arg (ls :!: Switch) :: Type

Methods

getArg :: Elm (ls :!: Switch) i -> Arg (ls :!: Switch)

getIdx :: Elm (ls :!: Switch) i -> RunningIndex i

getElm :: Elm (ls :!: Switch) i -> RecElm (ls :!: Switch) i

type Stack Switch

Defined in ADP.Fusion.Core.Term.Switch

type Stack Switch = S :!: Switch

type TermArg Switch

Defined in ADP.Fusion.Core.Term.Switch

type TermArg Switch = ()

data Elm (ls :!: Switch) i

Defined in ADP.Fusion.Core.Term.Switch

data Elm (ls :!: Switch) i = ElmSwitch !(RunningIndex i) !(Elm ls i)

type Arg (ls :!: Switch)

Defined in ADP.Fusion.Core.Term.Switch

type Arg (ls :!: Switch) = Arg ls :. ()

type LeftPosTy (IVariable d) Switch (PointL I)

Defined in ADP.Fusion.PointL.Term.Switch

type LeftPosTy (IVariable d) Switch (PointL I) = IVariable d

type LeftPosTy (IStatic d) Switch (PointL I)

Defined in ADP.Fusion.PointL.Term.Switch

type LeftPosTy (IStatic d) Switch (PointL I) = IStatic d

type LeftPosTy (OStatic d) Switch (PointL O)

Defined in ADP.Fusion.PointL.Term.Switch

type LeftPosTy (OStatic d) Switch (PointL O) = OStatic d