Skip to content

Instantly share code, notes, and snippets.

@milesrout

milesrout/regexp types

Last active July 19, 2016 06:49
Show Gist options
  • Save milesrout/882dea8ec407cd5b87bed19d5bd11548 to your computer and use it in GitHub Desktop.
Save milesrout/882dea8ec407cd5b87bed19d5bd11548 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
regexp types
Given a type T:
T? an optional T (c.f. Maybe, Either T ())
T* a sequence of Ts (c.f. [T])
T+ a non-empty sequence of Ts (c.f. (T,[T]), NonEmpty T)
T{N} exactly N Ts
Given types T and U:
T,U the product type of T and U (c.f. (T,U))
T|U the sum type of T and U (c.f. Either T U)
T→U the type of functions from T to U (c.f. Set (T,U))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment