Language.Parser.Ptera

Documentation

data HFList (a :: k -> Type) (b :: [k]) where

Constructors

HFNil :: forall k (a :: k -> Type). HFList a ('[] :: [k])

HFCons :: forall k (a :: k -> Type) (x :: k) (xs :: [k]). a x -> HFList a xs -> HFList a (x ': xs)

data DictF (a :: k -> Constraint) (b :: k) where

Constructors

DictF :: forall k (a :: k -> Constraint) (b :: k). a b => DictF a b

class TokensMember tokens t where

Methods

tokensMembership :: Proxy# '(tokens, t) -> Membership (TokensTag tokens) t

data Expr rules tokens elem us

class Rules rules where

Methods

generateRules :: T (DictF (HasRuleExprField rules)) (RulesTag rules)

class MemberInitials rules initials where

Methods

memberInitials :: T (DictF (HasRuleExprField rules)) initials

class KnownSymbol v => HasRuleExprField rules v where

Minimal complete definition

getExprField

Associated Types

type RuleExprReturnType rules v :: Type

Methods

getExprField :: rules -> proxy v -> RuleExprType rules (RuleExprReturnType rules v)

nonTerminalName :: rules -> proxy v -> String

class GrammarToken tokens elem where

Methods

tokenToTerminal :: Proxy tokens -> elem -> T (TokensTag tokens)

type family RuleExprType (rules :: Type) :: Type -> Type

type family RulesTag (rules :: Type) :: [Symbol]

type family TokensTag (tokens :: Type) :: [Symbol]

fixGrammar :: forall initials action rules tokens elem. MemberInitials rules initials => Rules rules => RuleExprType rules ~ RuleExpr action rules tokens elem => rules -> Grammar action rules tokens elem initials

ruleExpr :: [Alt action rules tokens elem a] -> RuleExpr action rules tokens elem a

eps :: Expr rules tokens elem '[]

(<^>) :: Expr rules tokens elem us1 -> Expr rules tokens elem us2 -> Expr rules tokens elem (Concat us1 us2) infixr 5

var :: KnownSymbol v => proxy v -> Expr rules tokens elem '[RuleExprReturnType rules v]

varA :: forall v rules tokens elem. KnownSymbol v => Expr rules tokens elem '[RuleExprReturnType rules v]

tok :: Membership (TokensTag tokens) t -> Expr rules tokens elem '[elem]

tokA :: forall t rules tokens elem. TokensMember tokens t => Expr rules tokens elem '[elem]

data ActionTaskResult ctx a

Constructors

ActionTaskFail

ActionTaskResult a

ActionTaskModifyResult ctx a

Instances

Functor (ActionTaskResult ctx)

Defined in Language.Parser.Ptera.Syntax

Methods

fmap :: (a -> b) -> ActionTaskResult ctx a -> ActionTaskResult ctx b

(<$) :: a -> ActionTaskResult ctx b -> ActionTaskResult ctx a

(Eq a, Eq ctx) => Eq (ActionTaskResult ctx a)

Defined in Language.Parser.Ptera.Syntax

Methods

(==) :: ActionTaskResult ctx a -> ActionTaskResult ctx a -> Bool

(/=) :: ActionTaskResult ctx a -> ActionTaskResult ctx a -> Bool

(Show a, Show ctx) => Show (ActionTaskResult ctx a)

Defined in Language.Parser.Ptera.Syntax

Methods

showsPrec :: Int -> ActionTaskResult ctx a -> ShowS

show :: ActionTaskResult ctx a -> String

showList :: [ActionTaskResult ctx a] -> ShowS

newtype ActionTask ctx a

Constructors

ActionTask

Fields

• runActionTask :: ctx -> ActionTaskResult ctx a

Instances

Monad (ActionTask ctx)

Defined in Language.Parser.Ptera.Syntax

Methods

(>>=) :: ActionTask ctx a -> (a -> ActionTask ctx b) -> ActionTask ctx b

(>>) :: ActionTask ctx a -> ActionTask ctx b -> ActionTask ctx b

return :: a -> ActionTask ctx a

Functor (ActionTask ctx)

Defined in Language.Parser.Ptera.Syntax

Methods

fmap :: (a -> b) -> ActionTask ctx a -> ActionTask ctx b

(<$) :: a -> ActionTask ctx b -> ActionTask ctx a

Applicative (ActionTask ctx)

Defined in Language.Parser.Ptera.Syntax

Methods

pure :: a -> ActionTask ctx a

(<*>) :: ActionTask ctx (a -> b) -> ActionTask ctx a -> ActionTask ctx b

liftA2 :: (a -> b -> c) -> ActionTask ctx a -> ActionTask ctx b -> ActionTask ctx c

(*>) :: ActionTask ctx a -> ActionTask ctx b -> ActionTask ctx b

(<*) :: ActionTask ctx a -> ActionTask ctx b -> ActionTask ctx a

type SemAct = SemActM ()

newtype SemActM ctx us a

Constructors

SemActM

Fields

• semanticAction :: HList us -> ActionTask ctx a

Instances

Functor (SemActM ctx us)

Defined in Language.Parser.Ptera.Syntax

Methods

fmap :: (a -> b) -> SemActM ctx us a -> SemActM ctx us b

(<$) :: a -> SemActM ctx us b -> SemActM ctx us a

type HList = T Identity

type Alt = AltM ()

type RuleExpr = RuleExprM ()

type Grammar = GrammarM ()

type AltM ctx = Alt (SemActM ctx)

type RuleExprM ctx = RuleExpr (SemActM ctx)

type GrammarM ctx = Grammar (SemActM ctx)

pattern (:*) :: u -> HList us -> HList (u ': us) infixr 6

pattern HNil :: HList '[]

(<:>) :: Expr rules tokens elem us -> (HList us -> a) -> AltM ctx rules tokens elem a infixl 4

(<::>) :: Expr rules tokens elem us -> (HList us -> ActionTask ctx a) -> AltM ctx rules tokens elem a infixl 4

getAction :: ActionTask ctx ctx

modifyAction :: (ctx -> ctx) -> ActionTask ctx ()

failAction :: ActionTask ctx a

data ParseResult posMark altHelp a

Constructors

Parsed a

ParseFailed posMark (FailedReason altHelp)

Instances

Functor (ParseResult posMark altHelp)

Defined in Language.Parser.Ptera.Runner.RunT

Methods

fmap :: (a -> b) -> ParseResult posMark altHelp a -> ParseResult posMark altHelp b

(<$) :: a -> ParseResult posMark altHelp b -> ParseResult posMark altHelp a

(Show a, Show posMark, Show altHelp) => Show (ParseResult posMark altHelp a)

Defined in Language.Parser.Ptera.Runner.RunT

Methods

showsPrec :: Int -> ParseResult posMark altHelp a -> ShowS

show :: ParseResult posMark altHelp a -> String

showList :: [ParseResult posMark altHelp a] -> ShowS

type Result posMark = ParseResult posMark ()

runParser :: forall v initials posMark m rules elem proxy. Member initials v => T posMark elem m => proxy v -> Runner rules elem initials -> m (Result posMark (RuleExprReturnType rules v))

newtype ListScanner e a

Constructors

ListScanner

Fields

• unListScanner :: State [e] a

Instances

Monad (ListScanner e)

Defined in Language.Parser.Ptera.Scanner

Methods

(>>=) :: ListScanner e a -> (a -> ListScanner e b) -> ListScanner e b

(>>) :: ListScanner e a -> ListScanner e b -> ListScanner e b

return :: a -> ListScanner e a

Functor (ListScanner e)

Defined in Language.Parser.Ptera.Scanner

Methods

fmap :: (a -> b) -> ListScanner e a -> ListScanner e b

(<$) :: a -> ListScanner e b -> ListScanner e a

Applicative (ListScanner e)

Defined in Language.Parser.Ptera.Scanner

Methods

pure :: a -> ListScanner e a

(<*>) :: ListScanner e (a -> b) -> ListScanner e a -> ListScanner e b

liftA2 :: (a -> b -> c) -> ListScanner e a -> ListScanner e b -> ListScanner e c

(*>) :: ListScanner e a -> ListScanner e b -> ListScanner e b

(<*) :: ListScanner e a -> ListScanner e b -> ListScanner e a

Scanner [e] e (ListScanner e)

Defined in Language.Parser.Ptera.Scanner

Methods

consumeInput :: ListScanner e (Maybe e)

getPosMark :: ListScanner e [e]

seekToPosMark :: [e] -> ListScanner e ()

scanMode :: ScanMode [e] -> ListScanner e ()

data ScanMode posMark

Constructors

ScanModeNoBack

ScanModeNeedBack posMark

Instances

Eq posMark => Eq (ScanMode posMark)

Defined in Language.Parser.Ptera.Scanner

Methods

(==) :: ScanMode posMark -> ScanMode posMark -> Bool

(/=) :: ScanMode posMark -> ScanMode posMark -> Bool

Show posMark => Show (ScanMode posMark)

Defined in Language.Parser.Ptera.Scanner

Methods

showsPrec :: Int -> ScanMode posMark -> ShowS

show :: ScanMode posMark -> String

showList :: [ScanMode posMark] -> ShowS

class Monad m => Scanner posMark elem m | m -> posMark, m -> elem where

Methods

consumeInput :: m (Maybe elem)

getPosMark :: m posMark

seekToPosMark :: posMark -> m ()

scanMode :: ScanMode posMark -> m ()

Instances

Scanner [e] e (ListScanner e)

Defined in Language.Parser.Ptera.Scanner

Methods

consumeInput :: ListScanner e (Maybe e)

getPosMark :: ListScanner e [e]

seekToPosMark :: [e] -> ListScanner e ()

scanMode :: ScanMode [e] -> ListScanner e ()

runListScanner :: ListScanner e a -> [e] -> a

type Parser = T

genRunner :: GrammarToken tokens elem => GrammarM ctx rules tokens elem initials -> Either [StringLit] (Parser ctx rules elem initials)