1 people like it.
Like the snippet!
Fold functions over static values builder 4
IT'S IMPOSSIBLE TO WRITE PRODUCTION CODE WITHOUT TYPE CLASSES
1:
2:
3:
4:
5:
6:
7:
8:
9:
10:
11:
12:
13:
14:
15:
16:
17:
18:
19:
20:
21:
22:
23:
24:
25:
26:
27:
28:
29:
30:
31:
32:
|
open System.Text
type Folder<'State> =
abstract Invoke<'T> : 'State * 'T -> 'State
type FoldStep<'State> = 'State -> 'State
type FoldBuilder<'Folder, 'State when 'Folder :> Folder<'State>>() =
member this.Zero(): FoldStep<'State> = id
member inline this.Combine(
[<InlineIfLambda>] f: FoldStep<'State>,
[<InlineIfLambda>] g: FoldStep<'State>)
: FoldStep<'State> =
fun state -> g (f state)
member inline this.Delay([<InlineIfLambda>] f: unit -> FoldStep<'State>) =
f()
member inline this.Yield(value: 'T): FoldStep<'State> =
fun state ->
Unchecked.defaultof<'Folder>.Invoke(state, value)
[<Struct>]
type StringBuilderFolder =
interface Folder<StringBuilder> with
member _.Invoke(state: StringBuilder, value: 'T) =
state.Append(value)
let inline fold<'Folder, 'State when 'Folder :> Folder<'State>> = FoldBuilder<'Folder, 'State>()
let f = (fold<StringBuilderFolder, StringBuilder> { 1; "lol"; 42; 'a'; 5.1 }) (StringBuilder())
printfn "%s" (f.ToString())
|
namespace System
namespace System.Text
type Folder<'State> =
interface
abstract member Invoke : 'State * 'T -> 'State
end
type FoldStep<'State> = 'State -> 'State
Multiple items
type FoldBuilder<'Folder,'State (requires 'Folder :> Folder<'State>)> =
new : unit -> FoldBuilder<'Folder,'State>
member Combine : f:FoldStep<'State> * g:FoldStep<'State> -> FoldStep<'State>
member Delay : f:(unit -> FoldStep<'State>) -> FoldStep<'State>
member Yield : value:'T -> FoldStep<'State>
member Zero : unit -> FoldStep<'State>
--------------------
new : unit -> FoldBuilder<'Folder,'State>
val this : FoldBuilder<#Folder<'State>,'State>
val id : x:'T -> 'T
val f : FoldStep<'State>
val g : FoldStep<'State>
val state : 'State
val f : (unit -> FoldStep<'State>)
type unit = Unit
val value : 'T
module Unchecked
from Microsoft.FSharp.Core.Operators
val defaultof<'T> : 'T
Multiple items
type StructAttribute =
inherit Attribute
new : unit -> StructAttribute
--------------------
new : unit -> StructAttribute
Multiple items
type StringBuilder =
new : unit -> StringBuilder + 5 overloads
member Append : value:string -> StringBuilder + 23 overloads
member AppendFormat : format:string * arg0:obj -> StringBuilder + 7 overloads
member AppendJoin : separator:string * [<ParamArray>] values:obj[] -> StringBuilder + 5 overloads
member AppendLine : unit -> StringBuilder + 1 overload
member Capacity : int with get, set
member Chars : int -> char with get, set
member Clear : unit -> StringBuilder
member CopyTo : sourceIndex:int * destination:Span<char> * count:int -> unit + 1 overload
member EnsureCapacity : capacity:int -> int
...
nested type ChunkEnumerator
--------------------
StringBuilder() : StringBuilder
StringBuilder(capacity: int) : StringBuilder
StringBuilder(value: string) : StringBuilder
StringBuilder(value: string, capacity: int) : StringBuilder
StringBuilder(capacity: int, maxCapacity: int) : StringBuilder
StringBuilder(value: string, startIndex: int, length: int, capacity: int) : StringBuilder
val state : StringBuilder
val value : 'a
StringBuilder.Append(value: System.ReadOnlyMemory<char>) : StringBuilder
(+0 other overloads)
StringBuilder.Append(value: System.ReadOnlySpan<char>) : StringBuilder
(+0 other overloads)
StringBuilder.Append(value: char []) : StringBuilder
(+0 other overloads)
StringBuilder.Append(value: obj) : StringBuilder
(+0 other overloads)
StringBuilder.Append(value: uint64) : StringBuilder
(+0 other overloads)
StringBuilder.Append(value: uint32) : StringBuilder
(+0 other overloads)
StringBuilder.Append(value: uint16) : StringBuilder
(+0 other overloads)
StringBuilder.Append(value: decimal) : StringBuilder
(+0 other overloads)
StringBuilder.Append(value: float) : StringBuilder
(+0 other overloads)
StringBuilder.Append(value: float32) : StringBuilder
(+0 other overloads)
val fold<'Folder,'State (requires 'Folder :> Folder<'State>)> : FoldBuilder<#Folder<'State>,'State>
val f : StringBuilder
type StringBuilderFolder =
struct
interface Folder<StringBuilder>
end
val printfn : format:Printf.TextWriterFormat<'T> -> 'T
StringBuilder.ToString() : string
StringBuilder.ToString(startIndex: int, length: int) : string
More information