Skip to content

Commit 2a60a72

Browse files
committed
fixup! Add Show Univ instance
1 parent 4e32d3b commit 2a60a72

File tree

1 file changed

+2
-1
lines changed
  • instances/base/Data/Universe/Instances

1 file changed

+2
-1
lines changed

instances/base/Data/Universe/Instances/Base.hs

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@ module Data.Universe.Instances.Base (
55
Universe(..), Finite(..)
66
) where
77

8+
import Control.Applicative
89
import Control.Monad
910
import Data.Int
1011
import Data.Map ((!), fromList)
@@ -13,6 +14,7 @@ import Data.Ratio
1314
import Data.Universe.Class
1415
import Data.Universe.Helpers
1516
import Data.Word
17+
import Prelude
1618

1719
instance Universe () where universeUniv = universeDef
1820
instance Universe Bool where universeUniv = universeDef
@@ -44,7 +46,6 @@ instance (Universe a, Universe b, Universe c, Universe d, Universe e) => Univers
4446
universeUniv = fmap mk $ universeUniv +*+ universeUniv +*+ universeUniv +*+ universeUniv +*+ universeUniv where
4547
mk ((((a,b),c),d),e) = (a,b,c,d,e)
4648

47-
-- | TODO: `diagonal` to `join`
4849
instance Universe a => Universe [a] where
4950
universeUniv = univCons [] ((:) <$> universeUniv <*> universeUniv)
5051

0 commit comments

Comments
 (0)