package speed

You can search for identifiers within the package.

in-package search v0.2.0

package speed

speed
- Speed
  - Dsl
    
    Effect
- Speed_assertions
  - AssertionResult
- Speed_domain
  - DOMAIN
  - LwtDomain
    
    Dom
  - LwtTestResult
  - Make
    
    R
  - MakeComplex
    
    Dom
    
    T
  - MakeFunctions
    
    D
  - Sync
    
    Dom
  - SyncTestResult
  - TEST_RESULT
  - TestInput
- Speed_dsl_effect
  - LwtEffectDsl
    
    MakeTypes
    
    C
  - Make
    
    D
    
    MakeTypes
    
    C
    
    RootSuite
  - ROOT_SUITE
  - Sync
    
    MakeTypes
    
    C
- Speed_dsl_effect_simple
  - LwtEffectDsl
  - Make
    
    D
    
    RootSuite
  - ROOT_SUITE
  - Sync
- Speed_dsl_list
  - LwtDsl
  - Make
    
    T
  - Sync
- Speed_metadata
  - List
- Speed_runner
  - ExampleRunner
    
    EXAMPLE_RUNNER
    
    LwtRunner
    
    SyncRunner
  - LwtRunner
  - Make
    
    D
    
    Runner
  - Reporter
  - SyncRunner

Legend:
Library
Module
Module type
Parameter
Class
Class type

module AssertionResult : sig ... end

type print = Format.formatter -> unit

exception AssertionError

exception FormattedAssertionError of Format.formatter -> unit

val match_success : 'a -> ('b, 'c) result

val match_failure : 
  ?pp:print ->
  'a ->
  ('b, [> `AssertionError of 'a | `AssertionErrorWithFormat of print ]) result

val equality_failure : 
  'a ->
  'b ->
  (Format.formatter -> 'c -> unit) ->
  ('d, [> `AssertionError of unit | `AssertionErrorWithFormat of print ])
    result

val be_true : 
  bool ->
  (bool, [> `AssertionError of unit | `AssertionErrorWithFormat of print ])
    result

val be_ok : 
  ('a, 'b) result ->
  ('c, [> `AssertionError of unit | `AssertionErrorWithFormat of print ])
    result

val be_error : 
  ('a, 'b) result ->
  ('c, [> `AssertionError of unit | `AssertionErrorWithFormat of print ])
    result

val be_false : 
  bool ->
  (bool, [> `AssertionError of unit | `AssertionErrorWithFormat of print ])
    result

val equal_int : 
  int ->
  int ->
  (int, [> `AssertionError of unit | `AssertionErrorWithFormat of print ])
    result

val equal_string : 
  String.t ->
  String.t ->
  (String.t, [> `AssertionError of unit | `AssertionErrorWithFormat of print ])
    result

val contain : 
  Base.String.t ->
  Base.String.t ->
  (Base.String.t,
    [> `AssertionError of unit | `AssertionErrorWithFormat of print ])
    result

val run_matcher : ('a -> 'b) -> 'c -> 'd

val expect : 
  ?name:string ->
  'a ->
  ('b ->
    ('c, [> `AssertionErrorWithFormat of Format.formatter -> unit ]) result) ->
  unit

val (>=>) : 
  ('a -> ('b, 'c) Base.Result.t) ->
  ('b -> ('d, 'c) Base.Result.t) ->
  'e ->
  ('d, 'c) Base.Result.t

val should : 
  ?name:string ->
  ('a ->
    ('b, [> `AssertionErrorWithFormat of Format.formatter -> unit ]) result) ->
  'c ->
  unit