Scriptorium.Nib.Assertion.Internal

Functions

tagPrefix

val tagPrefix :     tags      : string list               -> string

addError

val addError :     msg      : string     state    : AssertionState<‘a>              -> AssertionState<‘a> 

mapSubject

val mapSubject :     f          : (‘a -> ‘b)     state      : AssertionState<‘a>                -> AssertionState<‘b> , ‘b