Skip to content

0.0.2

Compare
Choose a tag to compare
@fthomas fthomas released this 18 Nov 19:31
· 3206 commits to master since this release

Changes

  • Nicer syntax for refine and refineLit. The type that is refined does not
    need to be specified anymore. E.g. there is no need to specify Char in
    refineLit[AnyOf[Digit :: Letter :: Whitespace :: HNil]]('F').

New predicates

boolean

  • AllOf[PS]: conjunction of all predicates in PS
  • AnyOf[PS]: disjunction of all predicates in PS

char

  • Digit: checks if a Char is a digit
  • Letter: checks if a Char is a letter
  • Whitespace: checks if a Char is white space

collection

  • Count[PA, PC]: counts the number of elements in a TraversableOnce
    which satisfy the predicate PA and passes the result to the numeric
    predicate PC
  • MinSize[N]: checks if the size of a TraversableOnce is greater than
    or equal to N
  • MaxSize[N]: checks if the size of a TraversableOnce is less than
    or equal to N

generic

  • Equal[U]: checks if a value is equal to U

string

  • MatchesRegex[R]: checks if a String matches the regular expression R

Released on 2015-05-22