FsGll


AbstractParsers

Namespace: FsGll

Nested types and modules

TypeDescription
Continuation<'a>
DisjunctiveParser<'a, 'r>
FSet<'a>
GFailure<'a>
GParser<'a>
GParserResult<'a>
GSuccess<'a, 'r>
HOMap<'k, 'v>
NonTerminalParser<'a, 'r>
Parser<'a, 'r>
RSet<'a>
SSet<'a>
SequentialParser<'a, 'r, 'r2>
TerminalParser<'a, 'r>
Trampoline<'a>

Functions and values

Function or valueDescription
( .>> ) p q
Signature: p:Parser<'a,'r> -> q:Parser<'a,'r2> -> Parser<'a,'r>
Type parameters: 'a, 'r, 'r2

CompiledName: op_DotGreaterGreater

( .>>. ) p1 p2
Signature: p1:Parser<'?8660,'?8661> -> p2:Parser<'?8660,'?8662> -> Parser<'?8660,('?8661 * '?8662)>
Type parameters: '?8660, '?8661, '?8662

CompiledName: op_DotGreaterGreaterDot

( |>> ) p fn
Signature: p:Parser<'a,'r> -> fn:('r -> 'r2) -> Parser<'a,'r2>
Type parameters: 'a, 'r, 'r2

CompiledName: op_BarGreaterGreater

( <?> ) p msg
Signature: p:Parser<'?8645,'?8646> -> msg:string -> Parser<'?8645,'?8646>
Type parameters: '?8645, '?8646

CompiledName: op_LessQmarkGreater

( <|> ) a b
Signature: a:Parser<'a,'r> -> b:Parser<'a,'r> -> Parser<'a,'r>
Type parameters: 'a, 'r

CompiledName: op_LessBarGreater

( <|>% ) p x
Signature: p:Parser<'?8642,'?8643> -> x:'?8643 -> Parser<'?8642,'?8643>
Type parameters: '?8642, '?8643

CompiledName: op_LessBarGreaterPercent

( >>% ) this x
Signature: this:Parser<'?8648,'?8649> -> x:'?8650 -> Parser<'?8648,'?8650>
Type parameters: '?8648, '?8649, '?8650

CompiledName: op_GreaterGreaterPercent

( >>. ) p q
Signature: p:Parser<'a,'r> -> q:Parser<'a,'r2> -> Parser<'a,'r2>
Type parameters: 'a, 'r, 'r2

CompiledName: op_GreaterGreaterDot

( >>= ) p fn
Signature: p:Parser<'a,'r> -> fn:('r -> Parser<'a,'r2>) -> Parser<'a,'r2>
Type parameters: 'a, 'r, 'r2

CompiledName: op_GreaterGreaterEquals

between popen pclose p
Signature: popen:Parser<'a,'?8665> -> pclose:Parser<'a,'?8666> -> p:Parser<'a,'r> -> Parser<'a,'r>
Type parameters: 'a, '?8665, '?8666, 'r
createParserForwardedToRef name
Signature: name:string -> Parser<'a,'r> * Parser<'a,'r> ref
Type parameters: 'a, 'r
epsilon
Signature: Parser<obj,unit>
Type parameters: 'a
failure msg tail
Signature: msg:string -> tail:InputStream<'a> -> GParserResult<'a>
Type parameters: 'a
foundInDone
Signature: int
foundInPopped
Signature: int
foundInSaved
Signature: int
many this
Signature: this:Parser<'a,'r> -> Parser<'a,'r list>
Type parameters: 'a, 'r
many1 this
Signature: this:Parser<'a,'r> -> Parser<'a,'r list>
Type parameters: 'a, 'r
notFollowedBy p
Signature: p:TerminalParser<'a,'r> -> Parser<'a,unit>
Type parameters: 'a, 'r
notFoundInDone
Signature: int
notFoundInPopped
Signature: int
opt this
Signature: this:Parser<'a,'r> -> Parser<'a,'r option>
Type parameters: 'a, 'r
parserResult r
Signature: r:GParserResult<'a> -> ParserResult<'a,'r>
Type parameters: 'a, 'r
perror msg
Signature: msg:string -> Parser<'a,'r>
Type parameters: 'a, 'r
pipe2 p1 p2 fn
Signature: p1:Parser<'?8673,'?8674> -> p2:Parser<'?8673,'?8675> -> fn:('?8674 -> '?8675 -> '?8676) -> Parser<'?8673,'?8676>
Type parameters: '?8673, '?8674, '?8675, '?8676
pipe3 p1 p2 p3 fn
Signature: p1:Parser<'?8678,'?8679> -> p2:Parser<'?8678,'?8680> -> p3:Parser<'?8678,'?8681> -> fn:('?8679 -> '?8680 -> '?8681 -> '?8682) -> Parser<'?8678,'?8682>
Type parameters: '?8678, '?8679, '?8680, '?8681, '?8682
pipe4 p1 p2 p3 p4 fn
Signature: p1:Parser<'?8684,'?8685> -> p2:Parser<'?8684,'?8686> -> p3:Parser<'?8684,'?8687> -> p4:Parser<'?8684,'?8688> -> fn:('?8685 -> '?8686 -> '?8687 -> '?8688 -> '?8689) -> Parser<'?8684,'?8689>
Type parameters: '?8684, '?8685, '?8686, '?8687, '?8688, '?8689
preg pat
Signature: pat:string -> Parser<char,string>
preturn a
Signature: a:'r -> Parser<'a,'r>
Type parameters: 'a, 'r
pstr pat
Signature: pat:string -> Parser<char,string>
queuePushed
Signature: int
runParser p s
Signature: p:Parser<'a,'r> -> s:seq<'a> -> ParserResult<'a,'r> list
Type parameters: 'a, 'r
satisfy pred
Signature: pred:('a -> bool) -> TerminalParser<'a,'a>
Type parameters: 'a
savedToDone
Signature: int
savedToPopped
Signature: int
savedToSaved
Signature: int
sepBy p sep
Signature: p:Parser<'a,'r> -> sep:Parser<'a,'?8697> -> Parser<'a,'r list>
Type parameters: 'a, 'r, '?8697
sepBy1 p sep
Signature: p:Parser<'a,'r> -> sep:Parser<'a,'?8693> -> Parser<'a,'r list>
Type parameters: 'a, 'r, '?8693
success value tail
Signature: value:'r -> tail:InputStream<'a> -> GParserResult<'a>
Type parameters: 'a, 'r
trace arg1
Signature: '?8458 -> unit
Type parameters: '?8458
trampolinesCreated
Signature: int
Fork me on GitHub