packages feed

agda2hs-1.3: lib/Haskell/Law/Monoid.agda

module Haskell.Law.Monoid where

open import Haskell.Law.Semigroup.Def    public
open import Haskell.Law.Semigroup.Either public
open import Haskell.Law.Semigroup.List   public
open import Haskell.Law.Semigroup.Maybe  public

open import Haskell.Law.Monoid.Def       public
open import Haskell.Law.Monoid.List      public
open import Haskell.Law.Monoid.Maybe     public