format

build.fsx

@@ -37,8 +37,7 @@ let dotnet cmd arg =
     res.Messages |> String.concat "\n" |> Trace.trace
     failwithf "failed 'dotnet %s %s'" cmd arg
 
-let fsiExec path =
-  dotnet "fsi" path
+let fsiExec path = dotnet "fsi" path
 
 let release = ReleaseNotes.load "RELEASE_NOTES.md"
 

example/example.fsx

@@ -64,16 +64,16 @@ type Handler2 =
     // capture the handler
     Eff.capture
     <| fun h ->
-         printfn "[%s]: RandomInt(%d)" h.name a
-         rand.Next(a) |> k
+      printfn "[%s]: RandomInt(%d)" h.name a
+      rand.Next(a) |> k
 
   static member inline Handle(Logging a, k) =
     // capture the handler
     Eff.capture
     <| fun h ->
-         printfn "[%s]: Logging(%A)" h.name a
-         printfn "%A" a
-         k ()
+      printfn "[%s]: Logging(%A)" h.name a
+      printfn "%A" a
+      k ()
 
 
 let main () =

example/example.statemachine.fsx

@@ -53,7 +53,7 @@ module C =
       x
       |> function
         | Base i -> sprintf "Base (%d)" i
-        | StateOfB (s, _) -> sprintf "StateOfB (%O)" s
+        | StateOfB(s, _) -> sprintf "StateOfB (%O)" s
 
   type Msg =
     | Apply
@@ -71,7 +71,7 @@ module C =
         let! i = ESM.stateEnter { B.State.b = i }
         return Base i |> ESM.Pending
 
-      | StateOfB (s, k), MsgOfB m -> return ESM.stateMap (B.update m) (s, k)
+      | StateOfB(s, k), MsgOfB m -> return ESM.stateMap (B.update m) (s, k)
 
       | _ -> return ESM.Pending state
     }
@@ -88,8 +88,8 @@ module Program =
       x
       |> function
         | StateOfA s -> sprintf "StateOfA (%O)" s
-        | StateOfB (s, _) -> sprintf "StateOfB (%O)" s
-        | StateOfC (s, _) -> sprintf "StateOfC (%O)" s
+        | StateOfB(s, _) -> sprintf "StateOfB (%O)" s
+        | StateOfC(s, _) -> sprintf "StateOfC (%O)" s
 
   // EffFs.StateMachine
   type StateMachine with
@@ -128,9 +128,9 @@ module Program =
         let s = A.update m s
         return StateOfA s
 
-      | StateOfB (s, k), Msg.MsgOfB m -> return ESM.stateMap (B.update m) (s, k)
+      | StateOfB(s, k), Msg.MsgOfB m -> return ESM.stateMap (B.update m) (s, k)
 
-      | StateOfC (s, k), Msg.MsgOfC m -> return! ESM.stateMapEff (C.update m) (s, k)
+      | StateOfC(s, k), Msg.MsgOfC m -> return! ESM.stateMapEff (C.update m) (s, k)
 
       | _ -> return state
     }

src/EffFs/DynamicHandler.fs

@@ -62,10 +62,8 @@ type DynamicHandlerBuilder =
 
   [<CustomOperationAttribute("handle")>]
   member inline __.AddHandle
-    (
-      (vh, d: (Type * obj) list),
-      f: ^e -> 'a
-    ) : _ when 'e: (static member Effect: 'e -> EffectTypeMarker<'a>) =
+    ((vh, d: (Type * obj) list), f: ^e -> 'a)
+    : _ when 'e: (static member Effect: 'e -> EffectTypeMarker<'a>) =
     let h: obj -> 'a = unbox< ^e> >> f
     (vh, (typeof<'e>, box h) :: d)
 

src/EffFs/EffFs.fs

@@ -3,9 +3,7 @@
 open System.ComponentModel
 
 [<AbstractClass; Sealed>]
-type EffectTypeMarker<'a> =
-  class
-  end
+type EffectTypeMarker<'a> = class end
 
 [<Struct>]
 type Eff<'a, 'h> = Eff of ('h -> 'a)

src/EffFs/Library/StateMachine.fs

@@ -18,10 +18,8 @@ type StateEnterEffect< ^s, 'o when ^s: (static member StateOut: ^s -> EffectType
 
 
 let inline handle
-  (
-    StateEnterEffect.StateEnterEffect (s: ^s),
-    k: 'o -> Eff<'os, ^h>
-  ) : Eff< ^state, ^h > when ^state: (static member StateEnter: ^s * ('o -> 'os) -> ^state) =
+  (StateEnterEffect.StateEnterEffect(s: ^s), k: 'o -> Eff<'os, ^h>)
+  : Eff< ^state, ^h > when ^state: (static member StateEnter: ^s * ('o -> 'os) -> ^state) =
   Eff.capture (fun h -> s |> callStateEnter (k >> Eff.handle h) |> Eff.pure')
 
 
@@ -31,11 +29,11 @@ type StateStatus<'s, 'o> =
   | Completed of output: 'o
 
   static member inline StateEnter
-    (
-      s: ^a,
-      k: 'b -> 'c
-    ) : StateStatus< ^state, _ > when ^a: (static member StateOut: ^a -> EffectTypeMarker<'b>) and ^state: (static member StateEnter:
-      ^a * ('b -> 'c) -> ^state) =
+    (s: ^a, k: 'b -> 'c)
+    : StateStatus< ^state, _ >
+        when ^a: (static member StateOut: ^a -> EffectTypeMarker<'b>)
+        and ^state: (static member StateEnter: ^a * ('b -> 'c) -> ^state)
+    =
     Pending(callStateEnter k s)