X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=src%2FCube.hs;h=4992851f3f7b3f7a3358e33852b53730c9269961;hb=631e653921937fe597090b66316227c9da14be35;hp=8596b11846838b91f0b4db3667d130ac4152b7ed;hpb=83ef0aaeae074756e4ee90d72d3e27e74e136061;p=spline3.git diff --git a/src/Cube.hs b/src/Cube.hs index 8596b11..4992851 100644 --- a/src/Cube.hs +++ b/src/Cube.hs @@ -1,3 +1,8 @@ +-- The "tetrahedron" function pattern matches on the integers zero +-- through twenty-three, but doesn't handle the "otherwise" case, for +-- performance reasons. +{-# OPTIONS_GHC -Wno-incomplete-patterns #-} + module Cube ( Cube(..), cube_properties, @@ -15,7 +20,29 @@ import qualified Data.Vector as V ( singleton, snoc, unsafeIndex) -import Prelude hiding ( LT ) +import Prelude( + Bool, + Double, + Int, + Eq( (==) ), + Fractional( (/) ), + Maybe, + Num( (+), (-), (*) ), + Ord( (>=), (<=) ), + Show( show ), + ($), + (.), + (&&), + (++), + abs, + all, + and, + fromIntegral, + head, + map, + otherwise, + return, + tail ) import Test.Tasty ( TestTree, testGroup ) import Test.Tasty.QuickCheck ( Arbitrary( arbitrary ),