Unit.hs (349B)
1 module Lude.Unit ( 2 Unit, 3 Unit#, 4 ) where 5 6 import Prelude.Experimental (Unit) 7 import Prelude.Experimental qualified as GHC 8 9 import Lude.Haskell 10 import Lude.Haskell.Repr qualified as Repr 11 12 -- TODO: Instances 13 14 -------------------------------------------------------------------------------- 15 16 type Unit# :: Type# Repr.Unit 17 type Unit# = GHC.Unit#