Commit 14fc4ffe authored by Steffen Michels's avatar Steffen Michels

add infix operator for assigning names

parent d602eccf
Pipeline #12355 passed with stage
in 38 seconds
......@@ -52,7 +52,20 @@ ForEach :: ![x] !(x->p) -> Property | Testable p & TestArg x
classify :: !Bool l !p -> Property | Testable p & genShow{|*|} l
label :: !l !p -> Property | Testable p & genShow{|*|} l
name :: !n !p -> Property | Testable p & toString n
/**
* Assigns a name to a testable property.
*
* @param The testable property
* @param The name
* @return The named property
* @type n p -> Property | Testable p & toString n
*/
(@) infix 0
(@) n p :== name n p
limitNrOfRecFieldValues :: !(Map (TypeName, RecFieldName) Int) !p -> Property | Testable p
instance ~ Bool
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment