Prelude/Maybe.agda


1
2
3
4
5
6
7
8
9
10
11
12

module B.Prelude.Maybe where

import Data.Maybe

open Data.Maybe
  using (Maybe; just; nothing; maybe; maybe′)
  public

module Maybe where
  open Data.Maybe
    using (from-just; is-just; is-nothing)
    public