320 packages returned for Tags:"type-level"

F# style discriminated unions or C#, using a custom type OneOf<T0, ... Tn> which holds a single value and has a .Match(...) method on it for exhaustive matching. Simple but powerful.
  • 256 total downloads
  • last updated 1/3/2020
  • Latest version: 0.2.2
  • type-level
Base number-parameterized collection types. These collection types can perform static verification of lengths and indices as long as some information about these values is available at compile time.
  • 30,076 total downloads
  • last updated 11/29/2012
  • Latest version: 1.0.2
  • may option type maybe
Implements an option type (Strilanc.Value.May<T>) that encourages usage based on pattern matching rather than ForceGetValue. Also includes utility methods for producing, consuming and transforming May<T>. Note on null: May<T> treats null like any other value. May.NoValue is distinct from null, and... More information