shithub: MicroHs

Info  •  Files  •  Log  •  Branches

Add Data.Void

--- a/lib/AllOfLib.hs

+++ b/lib/AllOfLib.hs

@@ -45,6 +45,7 @@

 import Data.RealFloat

 import Data.Semigroup

 import Data.Tuple

+import Data.Void

 import Data.Word

 import Debug.Trace

 import Foreign.C.String

--- /dev/null

+++ b/lib/Data/Void.hs

@@ -1,0 +1,10 @@

+module Data.Void(module Data.Void) where

+import Prelude

+

+data Void

+

+absurd :: forall a . Void -> a

+absurd v = seq v (error "absurd")

+

+vacuous :: forall (f :: Type -> Type) a . Functor f => f Void -> f a

+vacuous = fmap absurd

-- 

⑨