uvmhs-0.0.1.0
Safe HaskellNone
LanguageHaskell2010

UVMHS.Lib.Parser.Mixfix

Documentation

data MixesF t (f :: Type -> Type) a Source #

Constructors

MixesF 

Fields

Instances

Instances details
Ord t => Append (MixesF t f a) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Mixfix

Methods

(⧺) :: MixesF t f a -> MixesF t f a -> MixesF t f a Source #

Ord t => Monoid (MixesF t f a) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Mixfix

Null (MixesF t f a) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Mixfix

Methods

null :: MixesF t f a Source #

data MixfixF t (f :: Type -> Type) a Source #

Constructors

MixfixF 

Fields

Instances

Instances details
Ord t => Append (MixfixF t f a) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Mixfix

Methods

(⧺) :: MixfixF t f a -> MixfixF t f a -> MixfixF t f a Source #

Ord t => Monoid (MixfixF t f a) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Mixfix

Null (MixfixF t f a) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Mixfix

Methods

null :: MixfixF t f a Source #

onlyTerminalsF :: forall t (f :: Type -> Type) a. MixfixF t f a -> MixfixF t f a Source #

fmixPrefix :: ℕ64 -> CParser t (f a -> a) -> MixfixF t f a Source #

fmixPostfix :: ℕ64 -> CParser t (f a -> a) -> MixfixF t f a Source #

fmixInfix :: ℕ64 -> CParser t (f a -> f a -> a) -> MixfixF t f a Source #

fmixInfixL :: ℕ64 -> CParser t (f a -> f a -> a) -> MixfixF t f a Source #

fmixInfixR :: ℕ64 -> CParser t (f a -> f a -> a) -> MixfixF t f a Source #

fmixTerminal :: forall t a (f :: Type -> Type). CParser t a -> MixfixF t f a Source #

fmixfix :: (Ord t, Comonad f) => (CParser t (f a) -> CParser t (f a)) -> (CParser t (f a) -> CParser t (f a)) -> (CParser t a -> CParser t (f a)) -> MixfixF t f a -> CParser t (f a) Source #

fmixfixWithContext :: Ord t => 𝕊 -> MixfixF t (𝐴 SrcCxt) a -> CParser t (𝐴 SrcCxt a) Source #

fmixfixWithContextSet :: Ord t => 𝕊 -> MixfixF t (𝐴 (𝑃 SrcCxt)) a -> CParser t (𝐴 (𝑃 SrcCxt) a) Source #

data Mixes t a Source #

Constructors

Mixes 

Fields

Instances

Instances details
Ord t => Append (Mixes t a) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Mixfix

Methods

(⧺) :: Mixes t a -> Mixes t a -> Mixes t a Source #

Ord t => Monoid (Mixes t a) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Mixfix

Null (Mixes t a) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Mixfix

Methods

null :: Mixes t a Source #

data Mixfix t a Source #

Constructors

Mixfix 

Fields

Instances

Instances details
Ord t => Append (Mixfix t a) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Mixfix

Methods

(⧺) :: Mixfix t a -> Mixfix t a -> Mixfix t a Source #

Ord t => Monoid (Mixfix t a) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Mixfix

Null (Mixfix t a) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Mixfix

Methods

null :: Mixfix t a Source #

mixPrefix :: ℕ64 -> CParser t (a -> a) -> Mixfix t a Source #

mixPostfix :: ℕ64 -> CParser t (a -> a) -> Mixfix t a Source #

mixInfix :: ℕ64 -> CParser t (a -> a -> a) -> Mixfix t a Source #

mixInfixL :: ℕ64 -> CParser t (a -> a -> a) -> Mixfix t a Source #

mixInfixR :: ℕ64 -> CParser t (a -> a -> a) -> Mixfix t a Source #

mixTerminal :: CParser t a -> Mixfix t a Source #

mixesPure :: Ord t => Mixes t a -> MixesF t ID a Source #

mixfixPure :: Ord t => Mixfix t a -> MixfixF t ID a Source #

mixfix :: Ord t => Mixfix t a -> CParser t a Source #

mixfixWithContext :: Ord t => 𝕊 -> Mixfix t a -> CParser t (𝐴 SrcCxt a) Source #