Law.agda

module Haskell.Law where

open import Haskell.Prim
open import Haskell.Prim.Bool

open import Haskell.Law.Def          public
open import Haskell.Law.Applicative  public
open import Haskell.Law.Bool         public
open import Haskell.Law.Either       public
open import Haskell.Law.Eq           public
open import Haskell.Law.Equality     public
open import Haskell.Law.Functor      public
open import Haskell.Law.Int          public
open import Haskell.Law.Integer      public
open import Haskell.Law.List         public
open import Haskell.Law.Maybe        public
open import Haskell.Law.Monad        public
open import Haskell.Law.Monoid       public
open import Haskell.Law.Nat          public
open import Haskell.Law.Ord          public