/typeclasses/Instances/Optional

Exported files:

• alternative.dhall:

  Alternative Optional
  

• applicative.dhall:

  Applicative Optional
  

• arbitrary.dhall:

  ∀(A : Type) → Arbitrary A → Arbitrary (Optional A)
  

• equality.dhall:

  ∀(A : Type) → Equality A → Equality (Optional A)
  

• functor.dhall:

  Functor Optional
  

• monad.dhall:

  Monad Optional
  

• ordering.dhall:

  ∀(A : Type) → Ordering A → Ordering (Optional A)
  

• package.dhall