← all modules

Sky.Core.Maybe

Sky.Core.Maybe
  Sky.Core.Maybe — combinators over the Maybe ADT.

Values
  toResult : e -> Maybe a -> Result e a
      `toResult err maybe` — `Just a` becomes `Ok a`, `Nothing` becomes
  withDefault
  map
  andThen
  map2
  map3
  map4
  map5
  andMap
  combine
      v0.17 step-6 CPS rewrite (Limitation #8): the public binding is
  isJust
  isNothing