uvmhs-0.0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

UVMHS.Lib.Parser.Mixfix

Documentation

pDEF :: ℕ64 Source #

pLET :: ℕ64 Source #

pSEP :: ℕ64 Source #

pASC :: ℕ64 Source #

pARR :: ℕ64 Source #

pOR :: ℕ64 Source #

pAND :: ℕ64 Source #

pCMP :: ℕ64 Source #

pCONS :: ℕ64 Source #

pBWAND :: ℕ64 Source #

pBWOR :: ℕ64 Source #

pBSHFT :: ℕ64 Source #

pPLUS :: ℕ64 Source #

pTIMES :: ℕ64 Source #

pNEG :: ℕ64 Source #

pPOW :: ℕ64 Source #

pFAC :: ℕ64 Source #

pAPP :: ℕ64 Source #

pREF :: ℕ64 Source #

pIDX :: ℕ64 Source #

pTOP :: ℕ64 Source #

data MixesF t f 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 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 :: 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 :: CParser t a -> MixfixF t f a Source #

fmixfix :: forall t f a. (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 :: forall t a. 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 #