1-- Do not edit! Automatically created with doctest-extract. 2module Main where 3 4import qualified DocTest.Data.List.Reverse.StrictSpine 5import qualified DocTest.Data.List.Reverse.StrictElement 6import qualified DocTest.Data.List.Reverse.Private 7import qualified DocTest.Data.List.Match.Private 8import qualified DocTest.Data.List.HT.Private 9import qualified DocTest.Data.Maybe.HT 10import qualified DocTest.Data.Bool.HT.Private 11import qualified DocTest.Data.Monoid.HT 12import qualified DocTest.Data.Function.HT.Private 13 14import qualified Test.DocTest.Driver as DocTest 15 16main :: IO () 17main = DocTest.run $ do 18 DocTest.Data.List.Reverse.StrictSpine.test 19 DocTest.Data.List.Reverse.StrictElement.test 20 DocTest.Data.List.Reverse.Private.test 21 DocTest.Data.List.Match.Private.test 22 DocTest.Data.List.HT.Private.test 23 DocTest.Data.Maybe.HT.test 24 DocTest.Data.Bool.HT.Private.test 25 DocTest.Data.Monoid.HT.test 26 DocTest.Data.Function.HT.Private.test 27