FsGll


Incremental

Namespace: FsGll.Parsers.Pure

Nested types and modules

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

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<'?7729,'?7730> -> p2:Parser<'?7729,'?7731> -> Parser<'?7729,('?7730 * '?7731)>
Type parameters: '?7729, '?7730, '?7731

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<'?7714,'?7715> -> msg:string -> Parser<'?7714,'?7715>
Type parameters: '?7714, '?7715

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<'?7711,'?7712> -> x:'?7712 -> Parser<'?7711,'?7712>
Type parameters: '?7711, '?7712

CompiledName: op_LessBarGreaterPercent

( >>% ) this x
Signature: this:Parser<'?7717,'?7718> -> x:'?7719 -> Parser<'?7717,'?7719>
Type parameters: '?7717, '?7718, '?7719

CompiledName: op_GreaterGreaterPercent

( >>. ) p1 p2
Signature: p1:Parser<'?7725,'?7726> -> p2:Parser<'?7725,'?7727> -> Parser<'?7725,'?7727>
Type parameters: '?7725, '?7726, '?7727

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,'?7734> -> pclose:Parser<'a,'?7735> -> p:Parser<'a,'r> -> Parser<'a,'r>
Type parameters: 'a, '?7734, '?7735, '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:SwitchableArrayInputStream<'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
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<'?7742,'?7743> -> p2:Parser<'?7742,'?7744> -> fn:('?7743 -> '?7744 -> '?7745) -> Parser<'?7742,'?7745>
Type parameters: '?7742, '?7743, '?7744, '?7745
pipe3 p1 p2 p3 fn
Signature: p1:Parser<'?7747,'?7748> -> p2:Parser<'?7747,'?7749> -> p3:Parser<'?7747,'?7750> -> fn:('?7748 -> '?7749 -> '?7750 -> '?7751) -> Parser<'?7747,'?7751>
Type parameters: '?7747, '?7748, '?7749, '?7750, '?7751
pipe4 p1 p2 p3 p4 fn
Signature: p1:Parser<'?7753,'?7754> -> p2:Parser<'?7753,'?7755> -> p3:Parser<'?7753,'?7756> -> p4:Parser<'?7753,'?7757> -> fn:('?7754 -> '?7755 -> '?7756 -> '?7757 -> '?7758) -> Parser<'?7753,'?7758>
Type parameters: '?7753, '?7754, '?7755, '?7756, '?7757, '?7758
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
sepBy p sep
Signature: p:Parser<'a,'r> -> sep:Parser<'a,'?7762> -> Parser<'a,'r list>
Type parameters: 'a, 'r, '?7762
success value tail
Signature: value:'r -> tail:SwitchableArrayInputStream<'a> -> GParserResult<'a>
Type parameters: 'a, 'r
trace arg1
Signature: '?7522 -> unit
Type parameters: '?7522
Fork me on GitHub