tomjaguarpaw/bluefin
1
1
Fork 0
mirror of https://github.com/tomjaguarpaw/bluefin.git synced 2024-10-04 01:17:52 +03:00
Code Issues Packages Projects Releases Wiki Activity

Add type role on Eff

Browse Source
This commit is contained in:
Li-yao Xia 2024-04-27 15:56:29 +02:00 committed by tomjaguarpaw
parent 2d2cf1b25f
commit 65a9af3949
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
bluefin-internal/src/Bluefin/Internal.hs
View File

@ -1,6 +1,7 @@
{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE DerivingVia #-}
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE RoleAnnotations #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE UnboxedTuples #-}
{-# LANGUAGE UnliftedNewtypes #-}
@ -33,6 +34,7 @@ infixr 9 :&
type (:&) = Union
type role Eff nominal representational
newtype Eff (es :: Effects) a = UnsafeMkEff {unsafeUnEff :: IO a}
deriving stock (Functor)
deriving newtype (Applicative, Monad)