idris-1.2.0: libs/contrib/Test/Unit.idr

-- ---------------------------------------------------------------- [ Unit.idr ]
-- Module    : Unit.idr
-- Copyright : (c) The Idris Community.
-- License   : see LICENSE
-- --------------------------------------------------------------------- [ EOH ]
||| A simple Unit testing framework.
module Test.Unit

import public Test.Unit.Display
import public Test.Unit.Generic
import public Test.Unit.Assertions
import public Test.Unit.Runners

-- --------------------------------------------------------------------- [ EOF ]