FsGll


Incremental

Namespace: FsGll.Parsers

Nested types and modules

TypeDescription
ArrayInputStream<'a>
Continuation<'a>
DisjunctiveParser<'a, 'r>
FSet<'a>
GFailure<'a>
GParser<'a>
GParserResult<'a>
GPartial<'a, 'r>
GSuccess<'a, 'r>
HOMap<'k, 'v>
InputStream<'a>
NonTerminalParser<'a, 'r>
Parser<'a, 'r>
PartialParser<'a, 'r>
RSet<'a>
SSet<'a>
StreamIndex
Trampoline<'a>

Functions and values

Function or valueDescription
( .>> ) p1 p2
Signature: p1:Parser<'?8098,'?8099> -> p2:Parser<'?8098,'?8100> -> Parser<'?8098,'?8099>
Type parameters: '?8098, '?8099, '?8100

CompiledName: op_DotGreaterGreater

( .>>. ) p1 p2
Signature: p1:Parser<'?8102,'?8103> -> p2:Parser<'?8102,'?8104> -> Parser<'?8102,('?8103 * '?8104)>
Type parameters: '?8102, '?8103, '?8104

CompiledName: op_DotGreaterGreaterDot

( |>> ) p fn
Signature: p:Parser<'?8090,'?8091> -> fn:('?8091 -> '?8092) -> Parser<'?8090,'?8092>
Type parameters: '?8090, '?8091, '?8092

CompiledName: op_BarGreaterGreater

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

CompiledName: op_LessBarGreater

( >>. ) p1 p2
Signature: p1:Parser<'?8094,'?8095> -> p2:Parser<'?8094,'?8096> -> Parser<'?8094,'?8096>
Type parameters: '?8094, '?8095, '?8096

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

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:StreamIndex -> GParserResult<'a>
Type parameters: 'a
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
opt this
Signature: this:Parser<'a,'r> -> Parser<'a,'r option>
Type parameters: 'a, 'r
perror msg
Signature: msg:string -> Parser<'a,'r>
Type parameters: 'a, 'r
pipe2 p1 p2 fn
Signature: p1:Parser<'?8106,'?8107> -> p2:Parser<'?8106,'?8108> -> fn:('?8107 -> '?8108 -> '?8109) -> Parser<'?8106,'?8109>
Type parameters: '?8106, '?8107, '?8108, '?8109
pipe3 p1 p2 p3 fn
Signature: p1:Parser<'?8111,'?8112> -> p2:Parser<'?8111,'?8113> -> p3:Parser<'?8111,'?8114> -> fn:('?8112 -> '?8113 -> '?8114 -> '?8115) -> Parser<'?8111,'?8115>
Type parameters: '?8111, '?8112, '?8113, '?8114, '?8115
pipe4 p1 p2 p3 p4 fn
Signature: p1:Parser<'?8117,'?8118> -> p2:Parser<'?8117,'?8119> -> p3:Parser<'?8117,'?8120> -> p4:Parser<'?8117,'?8121> -> fn:('?8118 -> '?8119 -> '?8120 -> '?8121 -> '?8122) -> Parser<'?8117,'?8122>
Type parameters: '?8117, '?8118, '?8119, '?8120, '?8121, '?8122
preturn a
Signature: a:'r -> Parser<'a,'r>
Type parameters: 'a, 'r
runParser p s
Signature: p:Parser<'a,'r> -> s:seq<'a> -> GParserResult<'a> list
Type parameters: 'a, 'r
satisfy pred
Signature: pred:('a -> bool) -> Parser<'a,'a>
Type parameters: 'a
success value tail
Signature: value:'r -> tail:StreamIndex -> GParserResult<'a>
Type parameters: 'a, 'r
trace arg1
Signature: '?7923 -> unit
Type parameters: '?7923
Fork me on GitHub