@@ -27,6 +27,8 @@ For example, lets take the following list of functions that are defined in a mod
27.. code-block:: idris
27.. code-block:: idris
29 module Maths.NumOps
29 module Maths.NumOps
31+ %access export -- to make functions under test visible
31 double : Num a => a -> a
33 double : Num a => a -> a
32 double a = a + a
34 double a = a + a
@@ -42,6 +44,8 @@ A simple test module, with a qualified name of ``Test.NumOps`` can be declared a
42 module Test.NumOps
44 module Test.NumOps
44 import Maths.NumOps
46 import Maths.NumOps
48+ %access export -- to make the test functions visible
46 assertEq : Eq a => (given : a) -> (expected : a) -> IO ()
50 assertEq : Eq a => (given : a) -> (expected : a) -> IO ()
47 assertEq g e = if g == e
51 assertEq g e = if g == e