{-# OPTIONS --with-K #-}
module standard-library-classes where

open import Class.Prelude
open import Class.Newtype; import Test.Newtype

-- ** Algebraic structures
open import Class.Setoid public
open import Class.Semigroup public
open import Class.Monoid public; import Test.Monoid
open import Class.CommutativeMonoid public
open import Class.Functor public; import Test.Functor
open import Class.Bifunctor public
open import Class.Applicative public
open import Class.Monad public; import Class.Monad.Id; import Test.Monad
open import Class.Foldable public
open import Class.Traversable public
open import Class.Pointed public
open import Class.Group public
open import Class.PartialSemigroup public
open import Class.PartialMonoid public
open import Class.SeparationAlgebra public

-- ** Decidability
open import Class.DecEq public; import Test.DecEq
open import Class.DecEq.WithK public
open import Class.Decidable public; import Test.Decidable

-- ** Conversions
open import Class.ToBool public
open import Class.ToList public
open import Class.FromList public
open import Class.ToN public
open import Class.FromN public
open import Class.ToZ public
open import Class.Coercions public; import Test.Coercions

-- ** Overloading notation
open import Class.Allable public; import Test.Allable
open import Class.Anyable public; import Test.Anyable
open import Class.HasAdd public
open import Class.HasOrder public
open import Class.HasMembership public; import Test.HasMembership

-- ** Others
open import Class.Default public
open import Class.Show public; import Test.Show
open import Class.MonotonePredicate public
open import Class.Default public
open import Class.Measurable public; import Test.Measurable
open import Class.Null public
open import Class.View public; import Test.View