sayo-hs/heftia
1
1
Fork 0
mirror of https://github.com/sayo-hs/heftia.git synced 2024-11-23 10:59:57 +03:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity

[fix] #8: subsume functions don't have the expected type signatures.

Browse Source
This commit is contained in:
Yamada Ryo 2024-07-18 16:37:54 +09:00
parent 701362c2cf
commit 7a01fe0ce6
No known key found for this signature in database
GPG Key ID: AAE3C7A542B02DBF
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
heftia/src/Control/Effect/Hefty.hs
View File

@ -34,6 +34,7 @@ import Data.Free.Sum (caseF, pattern L1, pattern R1, type (+))
import Data.Hefty.Union (
HFunctorUnion,
HFunctorUnion_ (ForallHFunctor),
HasMembershipRec,
HeadIns,
LiftInsIfSingle (liftInsIfSingle, unliftInsIfSingle),
Lookup,
@ -49,7 +50,6 @@ import Data.Hefty.Union (
flipUnion,
flipUnion3,
flipUnionUnder,
inject,
injectRec,
projectRec,
weaken2,
@ -971,16 +971,16 @@ flipEffUnderH = transformAllH flipUnionUnder
subsume ::
forall e r ehs fr u c.
(Freer c fr, Union u, HFunctor (u ehs), HasMembership u e r) =>
(Freer c fr, Union u, HFunctor (u ehs), HasMembershipRec u e r) =>
Eff u fr ehs (e ': r) ~> Eff u fr ehs r
subsume = transformAll $ inject |+: id
subsume = transformAll $ injectRec |+: id
{-# INLINE subsume #-}
subsumeH ::
forall e r efs fr u c.
(Freer c fr, Union u, HFunctor (u (e ': r)), HasMembership u e r) =>
(Freer c fr, Union u, HFunctor (u (e ': r)), HasMembershipRec u e r) =>
Eff u fr (e ': r) efs ~> Eff u fr r efs
subsumeH = transformAllH $ inject |+: id
subsumeH = transformAllH $ injectRec |+: id
{-# INLINE subsumeH #-}
liftInsEff ::