PureParsers

Namespace: FsGll

Nested types and modules

Type	Description
Cont
Continuation<'a>
DisjunctiveParser<'a, 'r>
FSet<'a>
GFailure<'a>
GParser<'a>
GParserResult<'a>
GSuccess<'a, 'r>
HOMap<'k, 'v>
NonTerminalParser<'a, 'r>
PState<'a>
Parser<'a, 'r>
RSet<'a>
SSet<'a>
T
TUid
TerminalParser<'a, 'r>
Trampoline<'a>
Unique

Functions and values

Function or value	Description
`( .>> ) 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<'?7362,'?7363> -> p2:Parser<'?7362,'?7364> -> Parser<'?7362,('?7363 * '?7364)> Type parameters: '?7362, '?7363, '?7364	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<'?7347,'?7348> -> msg:string -> Parser<'?7347,'?7348> Type parameters: '?7347, '?7348	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<'?7344,'?7345> -> x:'?7345 -> Parser<'?7344,'?7345> Type parameters: '?7344, '?7345	CompiledName: `op_LessBarGreaterPercent`
`( >>% ) this x` Signature: this:Parser<'?7350,'?7351> -> x:'?7352 -> Parser<'?7350,'?7352> Type parameters: '?7350, '?7351, '?7352	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`
`( >>== ) p fn` Signature: p:Parser<'a,'r> -> fn:('r -> Parser<'a,'r2>) -> Parser<'a,'r2> Type parameters: 'a, 'r, 'r2	CompiledName: `op_GreaterGreaterEqualsEquals`
`between popen pclose p` Signature: popen:Parser<'a,'?7367> -> pclose:Parser<'a,'?7368> -> p:Parser<'a,'r> -> Parser<'a,'r> Type parameters: 'a, '?7367, '?7368, '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
`many p` Signature: p:Parser<'a,'r> -> Parser<'a,'r list> Type parameters: 'a, 'r
`many1 p` Signature: p:Parser<'a,'r> -> Parser<'a,'r list> Type parameters: 'a, 'r
`modify f` Signature: f:('s -> 's) -> State<unit,'s> Type parameters: 's
`notFollowedBy p` Signature: p:TerminalParser<'a,'r> -> Parser<'a,unit> Type parameters: 'a, 'r
`opt p` Signature: p: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<'?7375,'?7376> -> p2:Parser<'?7375,'?7377> -> fn:('?7376 -> '?7377 -> '?7378) -> Parser<'?7375,'?7378> Type parameters: '?7375, '?7376, '?7377, '?7378
`pipe3 p1 p2 p3 fn` Signature: p1:Parser<'?7380,'?7381> -> p2:Parser<'?7380,'?7382> -> p3:Parser<'?7380,'?7383> -> fn:('?7381 -> '?7382 -> '?7383 -> '?7384) -> Parser<'?7380,'?7384> Type parameters: '?7380, '?7381, '?7382, '?7383, '?7384
`pipe4 p1 p2 p3 p4 fn` Signature: p1:Parser<'?7386,'?7387> -> p2:Parser<'?7386,'?7388> -> p3:Parser<'?7386,'?7389> -> p4:Parser<'?7386,'?7390> -> fn:('?7387 -> '?7388 -> '?7389 -> '?7390 -> '?7391) -> Parser<'?7386,'?7391> Type parameters: '?7386, '?7387, '?7388, '?7389, '?7390, '?7391
`preturn a` Signature: a:'r -> Parser<'a,'r> Type parameters: 'a, 'r
`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
`sepBy p sep` Signature: p:Parser<'a,'r> -> sep:Parser<'a,'?7395> -> Parser<'a,'r list> Type parameters: 'a, 'r, '?7395
`success value tail` Signature: value:'r -> tail:InputStream<'a> -> GParserResult<'a> Type parameters: 'a, 'r
`trace arg1` Signature: '?7167 -> unit Type parameters: '?7167