data-effects 0.1.1.0 → 0.1.2.0
raw patch · 1 files changed
+3/−3 lines, 1 filesdep ~data-effects-thdep ~textPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: data-effects-th, text
API changes (from Hackage documentation)
- Data.Effect.Chronicle: pattern LDictate :: () => (a_aijq ~ (), ()) => c_aigR -> LiftIns (ChronicleF c_aigR) f_aijp a_aijq
- Data.Effect.Chronicle: pattern LConfess :: () => (a_aijt ~ a_aigT, ()) => c_aigS -> LiftIns (ChronicleF c_aigS) f_aijs a_aijt
- Data.Effect.Coroutine: pattern LYield :: () => (a_agbN ~ b_agb0, ()) => a_agaZ -> LiftIns (Yield a_agaZ b_agb0) f_agbM a_agbN
- Data.Effect.Except: pattern LThrow :: () => (a_af1P ~ a_af0l, ()) => e_af0k -> LiftIns (Throw e_af0k) f_af1O a_af1P
- Data.Effect.KVStore: pattern LLookupKV :: () => (a_afCA ~ Maybe v_afAR, ()) => k_afAQ -> LiftIns (KVStore k_afAQ v_afAR) f_afCz a_afCA
- Data.Effect.KVStore: pattern LUpdateKV :: () => (a_afCE ~ (), ()) => k_afBe -> Maybe v_afBf -> LiftIns (KVStore k_afBe v_afBf) f_afCD a_afCE
- Data.Effect.Output: pattern LOutput :: () => (a_adUq ~ (), ()) => o_adTL -> LiftIns (Output o_adTL) f_adUp a_adUq
- Data.Effect.State: pattern LPut :: () => (a_abkd ~ (), ()) => s_abjf -> LiftIns (State s_abjf) f_abkc a_abkd
- Data.Effect.Writer: pattern LTell :: () => (a_aath ~ (), ()) => w_aajj -> LiftIns (Tell w_aajj) f_aatg a_aath
+ Data.Effect.Chronicle: pattern LDictate :: () => (a_aimC ~ (), ()) => c_aik3 -> LiftIns (ChronicleF c_aik3) f_aimB a_aimC
+ Data.Effect.Chronicle: pattern LConfess :: () => (a_aimF ~ a_aik5, ()) => c_aik4 -> LiftIns (ChronicleF c_aik4) f_aimE a_aimF
+ Data.Effect.Coroutine: pattern LYield :: () => (a_ageZ ~ b_agec, ()) => a_ageb -> LiftIns (Yield a_ageb b_agec) f_ageY a_ageZ
+ Data.Effect.Except: pattern LThrow :: () => (a_af51 ~ a_af3x, ()) => e_af3w -> LiftIns (Throw e_af3w) f_af50 a_af51
+ Data.Effect.KVStore: pattern LLookupKV :: () => (a_afFM ~ Maybe v_afE3, ()) => k_afE2 -> LiftIns (KVStore k_afE2 v_afE3) f_afFL a_afFM
+ Data.Effect.KVStore: pattern LUpdateKV :: () => (a_afFQ ~ (), ()) => k_afEq -> Maybe v_afEr -> LiftIns (KVStore k_afEq v_afEr) f_afFP a_afFQ
+ Data.Effect.Output: pattern LOutput :: () => (a_adXC ~ (), ()) => o_adWX -> LiftIns (Output o_adWX) f_adXB a_adXC
+ Data.Effect.State: pattern LPut :: () => (a_abnp ~ (), ()) => s_abmr -> LiftIns (State s_abmr) f_abno a_abnp
+ Data.Effect.Writer: pattern LTell :: () => (a_aawt ~ (), ()) => w_aamv -> LiftIns (Tell w_aamv) f_aaws a_aawt
- Data.Effect.Accum: add :: forall (w_X0 :: Type) (f_aj2v :: Type) f_aj3i. SendIns (Accum f_aj2v) f_aj3i => w_X0 -> f_aj3i ()
+ Data.Effect.Accum: add :: forall (w_X0 :: Type) (f_aj5H :: Type) f_aj6u. SendIns (Accum f_aj5H) f_aj6u => w_X0 -> f_aj6u ()
- Data.Effect.Accum: add' :: forall tag_aj3k (w_X0 :: Type) (f_aj2v :: Type) f_aj3l. SendIns (Tag (Accum f_aj2v) tag_aj3k) f_aj3l => w_X0 -> f_aj3l ()
+ Data.Effect.Accum: add' :: forall tag_aj6w (w_X0 :: Type) (f_aj5H :: Type) f_aj6x. SendIns (Tag (Accum f_aj5H) tag_aj6w) f_aj6x => w_X0 -> f_aj6x ()
- Data.Effect.Accum: add'' :: forall key_aj3n (w_X0 :: Type) (f_aj2v :: Type) f_aj3o. SendInsBy key_aj3n (Accum f_aj2v) f_aj3o => w_X0 -> f_aj3o ()
+ Data.Effect.Accum: add'' :: forall key_aj6z (w_X0 :: Type) (f_aj5H :: Type) f_aj6A. SendInsBy key_aj6z (Accum f_aj5H) f_aj6A => w_X0 -> f_aj6A ()
- Data.Effect.Accum: look :: forall (w_aj2w :: Type) f_aj3q. SendIns (Accum w_aj2w) f_aj3q => f_aj3q w_aj2w
+ Data.Effect.Accum: look :: forall (w_aj5I :: Type) f_aj6C. SendIns (Accum w_aj5I) f_aj6C => f_aj6C w_aj5I
- Data.Effect.Accum: look' :: forall tag_aj3r (w_aj2w :: Type) f_aj3s. SendIns (Tag (Accum w_aj2w) tag_aj3r) f_aj3s => f_aj3s w_aj2w
+ Data.Effect.Accum: look' :: forall tag_aj6D (w_aj5I :: Type) f_aj6E. SendIns (Tag (Accum w_aj5I) tag_aj6D) f_aj6E => f_aj6E w_aj5I
- Data.Effect.Accum: look'' :: forall key_aj3t (w_aj2w :: Type) f_aj3u. SendInsBy key_aj3t (Accum w_aj2w) f_aj3u => f_aj3u w_aj2w
+ Data.Effect.Accum: look'' :: forall key_aj6F (w_aj5I :: Type) f_aj6G. SendInsBy key_aj6F (Accum w_aj5I) f_aj6G => f_aj6G w_aj5I
- Data.Effect.Accum: pattern LLook :: () => (a_aj3z ~ w_aj2w, ()) => LiftIns (Accum w_aj2w) f_aj3y a_aj3z
+ Data.Effect.Accum: pattern LLook :: () => (a_aj6L ~ w_aj5I, ()) => LiftIns (Accum w_aj5I) f_aj6K a_aj6L
- Data.Effect.Accum: pattern LAdd :: () => (a_aj3x ~ (), ()) => w_X0 -> LiftIns (Accum f_aj2v) f_aj3w a_aj3x
+ Data.Effect.Accum: pattern LAdd :: () => (a_aj6J ~ (), ()) => w_X0 -> LiftIns (Accum f_aj5H) f_aj6I a_aj6J
- Data.Effect.Accum: type LAccum w_aj2s = LiftIns (Accum w_aj2s)
+ Data.Effect.Accum: type LAccum w_aj5E = LiftIns (Accum w_aj5E)
- Data.Effect.Chronicle: absolve :: forall (a_aigJ :: Type) (c_aigL :: Type) f_aigK. SendSig (ChronicleH c_aigL) f_aigK => a_aigJ -> f_aigK a_aigJ -> f_aigK a_aigJ
+ Data.Effect.Chronicle: absolve :: forall (a_aijV :: Type) (c_aijX :: Type) f_aijW. SendSig (ChronicleH c_aijX) f_aijW => a_aijV -> f_aijW a_aijV -> f_aijW a_aijV
- Data.Effect.Chronicle: absolve' :: forall tag_aijJ (a_aigJ :: Type) (c_aigL :: Type) f_aigK. SendSig (TagH (ChronicleH c_aigL) tag_aijJ) f_aigK => a_aigJ -> f_aigK a_aigJ -> f_aigK a_aigJ
+ Data.Effect.Chronicle: absolve' :: forall tag_aimV (a_aijV :: Type) (c_aijX :: Type) f_aijW. SendSig (TagH (ChronicleH c_aijX) tag_aimV) f_aijW => a_aijV -> f_aijW a_aijV -> f_aijW a_aijV
- Data.Effect.Chronicle: absolve'' :: forall key_aijM (a_aigJ :: Type) (c_aigL :: Type) f_aigK. SendSigBy key_aijM (ChronicleH c_aigL) f_aigK => a_aigJ -> f_aigK a_aigJ -> f_aigK a_aigJ
+ Data.Effect.Chronicle: absolve'' :: forall key_aimY (a_aijV :: Type) (c_aijX :: Type) f_aijW. SendSigBy key_aimY (ChronicleH c_aijX) f_aijW => a_aijV -> f_aijW a_aijV -> f_aijW a_aijV
- Data.Effect.Chronicle: condemn :: forall (a_aigN :: Type) (c_aigO :: Type) f_aigM. SendSig (ChronicleH c_aigO) f_aigM => f_aigM a_aigN -> f_aigM a_aigN
+ Data.Effect.Chronicle: condemn :: forall (a_aijZ :: Type) (c_aik0 :: Type) f_aijY. SendSig (ChronicleH c_aik0) f_aijY => f_aijY a_aijZ -> f_aijY a_aijZ
- Data.Effect.Chronicle: condemn' :: forall tag_aijQ (a_aigN :: Type) (c_aigO :: Type) f_aigM. SendSig (TagH (ChronicleH c_aigO) tag_aijQ) f_aigM => f_aigM a_aigN -> f_aigM a_aigN
+ Data.Effect.Chronicle: condemn' :: forall tag_ain2 (a_aijZ :: Type) (c_aik0 :: Type) f_aijY. SendSig (TagH (ChronicleH c_aik0) tag_ain2) f_aijY => f_aijY a_aijZ -> f_aijY a_aijZ
- Data.Effect.Chronicle: condemn'' :: forall key_aijS (a_aigN :: Type) (c_aigO :: Type) f_aigM. SendSigBy key_aijS (ChronicleH c_aigO) f_aigM => f_aigM a_aigN -> f_aigM a_aigN
+ Data.Effect.Chronicle: condemn'' :: forall key_ain4 (a_aijZ :: Type) (c_aik0 :: Type) f_aijY. SendSigBy key_ain4 (ChronicleH c_aik0) f_aijY => f_aijY a_aijZ -> f_aijY a_aijZ
- Data.Effect.Chronicle: confess :: forall (c_aigS :: Type) (a_aigT :: Type) f_aijg. SendIns (ChronicleF c_aigS) f_aijg => c_aigS -> f_aijg a_aigT
+ Data.Effect.Chronicle: confess :: forall (c_aik4 :: Type) (a_aik5 :: Type) f_aims. SendIns (ChronicleF c_aik4) f_aims => c_aik4 -> f_aims a_aik5
- Data.Effect.Chronicle: confess' :: forall tag_aiji (c_aigS :: Type) (a_aigT :: Type) f_aijj. SendIns (Tag (ChronicleF c_aigS) tag_aiji) f_aijj => c_aigS -> f_aijj a_aigT
+ Data.Effect.Chronicle: confess' :: forall tag_aimu (c_aik4 :: Type) (a_aik5 :: Type) f_aimv. SendIns (Tag (ChronicleF c_aik4) tag_aimu) f_aimv => c_aik4 -> f_aimv a_aik5
- Data.Effect.Chronicle: confess'' :: forall key_aijl (c_aigS :: Type) (a_aigT :: Type) f_aijm. SendInsBy key_aijl (ChronicleF c_aigS) f_aijm => c_aigS -> f_aijm a_aigT
+ Data.Effect.Chronicle: confess'' :: forall key_aimx (c_aik4 :: Type) (a_aik5 :: Type) f_aimy. SendInsBy key_aimx (ChronicleF c_aik4) f_aimy => c_aik4 -> f_aimy a_aik5
- Data.Effect.Chronicle: dictate :: forall (c_aigR :: Type) f_aij8. SendIns (ChronicleF c_aigR) f_aij8 => c_aigR -> f_aij8 ()
+ Data.Effect.Chronicle: dictate :: forall (c_aik3 :: Type) f_aimk. SendIns (ChronicleF c_aik3) f_aimk => c_aik3 -> f_aimk ()
- Data.Effect.Chronicle: dictate' :: forall tag_aija (c_aigR :: Type) f_aijb. SendIns (Tag (ChronicleF c_aigR) tag_aija) f_aijb => c_aigR -> f_aijb ()
+ Data.Effect.Chronicle: dictate' :: forall tag_aimm (c_aik3 :: Type) f_aimn. SendIns (Tag (ChronicleF c_aik3) tag_aimm) f_aimn => c_aik3 -> f_aimn ()
- Data.Effect.Chronicle: dictate'' :: forall key_aijd (c_aigR :: Type) f_aije. SendInsBy key_aijd (ChronicleF c_aigR) f_aije => c_aigR -> f_aije ()
+ Data.Effect.Chronicle: dictate'' :: forall key_aimp (c_aik3 :: Type) f_aimq. SendInsBy key_aimp (ChronicleF c_aik3) f_aimq => c_aik3 -> f_aimq ()
- Data.Effect.Chronicle: memento :: forall (a_X0 :: Type) (c_aigI :: Type) f_aigG. SendSig (ChronicleH c_aigI) f_aigG => f_aigG a_X0 -> f_aigG (Either c_aigI a_X0)
+ Data.Effect.Chronicle: memento :: forall (a_X0 :: Type) (c_aijU :: Type) f_aijS. SendSig (ChronicleH c_aijU) f_aijS => f_aijS a_X0 -> f_aijS (Either c_aijU a_X0)
- Data.Effect.Chronicle: memento' :: forall tag_aijD (a_X0 :: Type) (c_aigI :: Type) f_aigG. SendSig (TagH (ChronicleH c_aigI) tag_aijD) f_aigG => f_aigG a_X0 -> f_aigG (Either c_aigI a_X0)
+ Data.Effect.Chronicle: memento' :: forall tag_aimP (a_X0 :: Type) (c_aijU :: Type) f_aijS. SendSig (TagH (ChronicleH c_aijU) tag_aimP) f_aijS => f_aijS a_X0 -> f_aijS (Either c_aijU a_X0)
- Data.Effect.Chronicle: memento'' :: forall key_aijF (a_X0 :: Type) (c_aigI :: Type) f_aigG. SendSigBy key_aijF (ChronicleH c_aigI) f_aigG => f_aigG a_X0 -> f_aigG (Either c_aigI a_X0)
+ Data.Effect.Chronicle: memento'' :: forall key_aimR (a_X0 :: Type) (c_aijU :: Type) f_aijS. SendSigBy key_aimR (ChronicleH c_aijU) f_aijS => f_aijS a_X0 -> f_aijS (Either c_aijU a_X0)
- Data.Effect.Chronicle: type LChronicleF c_aigP = LiftIns (ChronicleF c_aigP)
+ Data.Effect.Chronicle: type LChronicleF c_aik1 = LiftIns (ChronicleF c_aik1)
- Data.Effect.Concurrent.Thread: forkThread :: forall (tid_ai27 :: Type) f_ai26. SendSigBy ThreadKey (Thread' tid_ai27) f_ai26 => f_ai26 () -> f_ai26 tid_ai27
+ Data.Effect.Concurrent.Thread: forkThread :: forall (tid_ai5j :: Type) f_ai5i. SendSigBy ThreadKey (Thread' tid_ai5j) f_ai5i => f_ai5i () -> f_ai5i tid_ai5j
- Data.Effect.Concurrent.Thread: forkThread' :: forall tag_ai2O (tid_ai27 :: Type) f_ai26. SendSig (TagH (Thread' tid_ai27) tag_ai2O) f_ai26 => f_ai26 () -> f_ai26 tid_ai27
+ Data.Effect.Concurrent.Thread: forkThread' :: forall tag_ai60 (tid_ai5j :: Type) f_ai5i. SendSig (TagH (Thread' tid_ai5j) tag_ai60) f_ai5i => f_ai5i () -> f_ai5i tid_ai5j
- Data.Effect.Concurrent.Thread: forkThread'' :: forall key_ai2Q (tid_ai27 :: Type) f_ai26. SendSigBy key_ai2Q (Thread' tid_ai27) f_ai26 => f_ai26 () -> f_ai26 tid_ai27
+ Data.Effect.Concurrent.Thread: forkThread'' :: forall key_ai62 (tid_ai5j :: Type) f_ai5i. SendSigBy key_ai62 (Thread' tid_ai5j) f_ai5i => f_ai5i () -> f_ai5i tid_ai5j
- Data.Effect.Concurrent.Thread: forkThread'_ :: forall (tid_ai27 :: Type) f_ai26. SendSig (Thread' tid_ai27) f_ai26 => f_ai26 () -> f_ai26 tid_ai27
+ Data.Effect.Concurrent.Thread: forkThread'_ :: forall (tid_ai5j :: Type) f_ai5i. SendSig (Thread' tid_ai5j) f_ai5i => f_ai5i () -> f_ai5i tid_ai5j
- Data.Effect.Concurrent.Thread: type Thread tid_ai23 = (##>) ThreadKey (Thread' tid_ai23)
+ Data.Effect.Concurrent.Thread: type Thread tid_ai5f = (##>) ThreadKey (Thread' tid_ai5f)
- Data.Effect.Concurrent.Timer: clock :: forall f_agT8. SendIns Timer f_agT8 => f_agT8 DiffTime
+ Data.Effect.Concurrent.Timer: clock :: forall f_agWk. SendIns Timer f_agWk => f_agWk DiffTime
- Data.Effect.Concurrent.Timer: clock' :: forall tag_agT9 f_agTa. SendIns (Tag Timer tag_agT9) f_agTa => f_agTa DiffTime
+ Data.Effect.Concurrent.Timer: clock' :: forall tag_agWl f_agWm. SendIns (Tag Timer tag_agWl) f_agWm => f_agWm DiffTime
- Data.Effect.Concurrent.Timer: clock'' :: forall key_agTb f_agTc. SendInsBy key_agTb Timer f_agTc => f_agTc DiffTime
+ Data.Effect.Concurrent.Timer: clock'' :: forall key_agWn f_agWo. SendInsBy key_agWn Timer f_agWo => f_agWo DiffTime
- Data.Effect.Concurrent.Timer: pattern LWait :: () => (a_ahhc ~ (), ()) => DiffTime -> LiftIns CyclicTimer f_ahhb a_ahhc
+ Data.Effect.Concurrent.Timer: pattern LWait :: () => (a_ahko ~ (), ()) => DiffTime -> LiftIns CyclicTimer f_ahkn a_ahko
- Data.Effect.Concurrent.Timer: pattern LClock :: () => (a_agTm ~ DiffTime, ()) => LiftIns Timer f_agTl a_agTm
+ Data.Effect.Concurrent.Timer: pattern LClock :: () => (a_agWy ~ DiffTime, ()) => LiftIns Timer f_agWx a_agWy
- Data.Effect.Concurrent.Timer: sleep :: forall f_agTd. SendIns Timer f_agTd => DiffTime -> f_agTd ()
+ Data.Effect.Concurrent.Timer: sleep :: forall f_agWp. SendIns Timer f_agWp => DiffTime -> f_agWp ()
- Data.Effect.Concurrent.Timer: sleep' :: forall tag_agTf f_agTg. SendIns (Tag Timer tag_agTf) f_agTg => DiffTime -> f_agTg ()
+ Data.Effect.Concurrent.Timer: sleep' :: forall tag_agWr f_agWs. SendIns (Tag Timer tag_agWr) f_agWs => DiffTime -> f_agWs ()
- Data.Effect.Concurrent.Timer: sleep'' :: forall key_agTi f_agTj. SendInsBy key_agTi Timer f_agTj => DiffTime -> f_agTj ()
+ Data.Effect.Concurrent.Timer: sleep'' :: forall key_agWu f_agWv. SendInsBy key_agWu Timer f_agWv => DiffTime -> f_agWv ()
- Data.Effect.Concurrent.Timer: wait :: forall f_ahh2. SendIns CyclicTimer f_ahh2 => DiffTime -> f_ahh2 ()
+ Data.Effect.Concurrent.Timer: wait :: forall f_ahke. SendIns CyclicTimer f_ahke => DiffTime -> f_ahke ()
- Data.Effect.Concurrent.Timer: wait' :: forall tag_ahh4 f_ahh5. SendIns (Tag CyclicTimer tag_ahh4) f_ahh5 => DiffTime -> f_ahh5 ()
+ Data.Effect.Concurrent.Timer: wait' :: forall tag_ahkg f_ahkh. SendIns (Tag CyclicTimer tag_ahkg) f_ahkh => DiffTime -> f_ahkh ()
- Data.Effect.Concurrent.Timer: wait'' :: forall key_ahh7 f_ahh8. SendInsBy key_ahh7 CyclicTimer f_ahh8 => DiffTime -> f_ahh8 ()
+ Data.Effect.Concurrent.Timer: wait'' :: forall key_ahkj f_ahkk. SendInsBy key_ahkj CyclicTimer f_ahkk => DiffTime -> f_ahkk ()
- Data.Effect.Cont: callCC :: forall (a_agJ9 :: Type) m_agJa. SendSig CallCC m_agJa => (forall (r_agJb :: Type). (a_agJ9 -> m_agJa r_agJb) -> m_agJa a_agJ9) -> m_agJa a_agJ9
+ Data.Effect.Cont: callCC :: forall (a_agMl :: Type) m_agMm. SendSig CallCC m_agMm => (forall (r_agMn :: Type). (a_agMl -> m_agMm r_agMn) -> m_agMm a_agMl) -> m_agMm a_agMl
- Data.Effect.Cont: callCC' :: forall tag_agKx (a_agJ9 :: Type) m_agJa. SendSig (TagH CallCC tag_agKx) m_agJa => (forall (r_agJb :: Type). (a_agJ9 -> m_agJa r_agJb) -> m_agJa a_agJ9) -> m_agJa a_agJ9
+ Data.Effect.Cont: callCC' :: forall tag_agNJ (a_agMl :: Type) m_agMm. SendSig (TagH CallCC tag_agNJ) m_agMm => (forall (r_agMn :: Type). (a_agMl -> m_agMm r_agMn) -> m_agMm a_agMl) -> m_agMm a_agMl
- Data.Effect.Cont: callCC'' :: forall key_agKz (a_agJ9 :: Type) m_agJa. SendSigBy key_agKz CallCC m_agJa => (forall (r_agJb :: Type). (a_agJ9 -> m_agJa r_agJb) -> m_agJa a_agJ9) -> m_agJa a_agJ9
+ Data.Effect.Cont: callCC'' :: forall key_agNL (a_agMl :: Type) m_agMm. SendSigBy key_agNL CallCC m_agMm => (forall (r_agMn :: Type). (a_agMl -> m_agMm r_agMn) -> m_agMm a_agMl) -> m_agMm a_agMl
- Data.Effect.Coroutine: type LYield a_agaW b_agaX = LiftIns (Yield a_agaW b_agaX)
+ Data.Effect.Coroutine: type LYield a_age8 b_age9 = LiftIns (Yield a_age8 b_age9)
- Data.Effect.Coroutine: yield :: forall (a_agaZ :: Type) (b_agb0 :: Type) f_agbD. SendIns (Yield a_agaZ b_agb0) f_agbD => a_agaZ -> f_agbD b_agb0
+ Data.Effect.Coroutine: yield :: forall (a_ageb :: Type) (b_agec :: Type) f_ageP. SendIns (Yield a_ageb b_agec) f_ageP => a_ageb -> f_ageP b_agec
- Data.Effect.Coroutine: yield' :: forall tag_agbF (a_agaZ :: Type) (b_agb0 :: Type) f_agbG. SendIns (Tag (Yield a_agaZ b_agb0) tag_agbF) f_agbG => a_agaZ -> f_agbG b_agb0
+ Data.Effect.Coroutine: yield' :: forall tag_ageR (a_ageb :: Type) (b_agec :: Type) f_ageS. SendIns (Tag (Yield a_ageb b_agec) tag_ageR) f_ageS => a_ageb -> f_ageS b_agec
- Data.Effect.Coroutine: yield'' :: forall key_agbI (a_agaZ :: Type) (b_agb0 :: Type) f_agbJ. SendInsBy key_agbI (Yield a_agaZ b_agb0) f_agbJ => a_agaZ -> f_agbJ b_agb0
+ Data.Effect.Coroutine: yield'' :: forall key_ageU (a_ageb :: Type) (b_agec :: Type) f_ageV. SendInsBy key_ageU (Yield a_ageb b_agec) f_ageV => a_ageb -> f_ageV b_agec
- Data.Effect.Except: catch :: forall (a_af0g :: Type) (e_af0h :: Type) f_af0f. SendSig (Catch e_af0h) f_af0f => f_af0f a_af0g -> (e_af0h -> f_af0f a_af0g) -> f_af0f a_af0g
+ Data.Effect.Except: catch :: forall (a_af3s :: Type) (e_af3t :: Type) f_af3r. SendSig (Catch e_af3t) f_af3r => f_af3r a_af3s -> (e_af3t -> f_af3r a_af3s) -> f_af3r a_af3s
- Data.Effect.Except: catch' :: forall tag_af1V (a_af0g :: Type) (e_af0h :: Type) f_af0f. SendSig (TagH (Catch e_af0h) tag_af1V) f_af0f => f_af0f a_af0g -> (e_af0h -> f_af0f a_af0g) -> f_af0f a_af0g
+ Data.Effect.Except: catch' :: forall tag_af57 (a_af3s :: Type) (e_af3t :: Type) f_af3r. SendSig (TagH (Catch e_af3t) tag_af57) f_af3r => f_af3r a_af3s -> (e_af3t -> f_af3r a_af3s) -> f_af3r a_af3s
- Data.Effect.Except: catch'' :: forall key_af1Y (a_af0g :: Type) (e_af0h :: Type) f_af0f. SendSigBy key_af1Y (Catch e_af0h) f_af0f => f_af0f a_af0g -> (e_af0h -> f_af0f a_af0g) -> f_af0f a_af0g
+ Data.Effect.Except: catch'' :: forall key_af5a (a_af3s :: Type) (e_af3t :: Type) f_af3r. SendSigBy key_af5a (Catch e_af3t) f_af3r => f_af3r a_af3s -> (e_af3t -> f_af3r a_af3s) -> f_af3r a_af3s
- Data.Effect.Except: throw :: forall (e_af0k :: Type) (a_af0l :: Type) f_af1F. SendIns (Throw e_af0k) f_af1F => e_af0k -> f_af1F a_af0l
+ Data.Effect.Except: throw :: forall (e_af3w :: Type) (a_af3x :: Type) f_af4R. SendIns (Throw e_af3w) f_af4R => e_af3w -> f_af4R a_af3x
- Data.Effect.Except: throw' :: forall tag_af1H (e_af0k :: Type) (a_af0l :: Type) f_af1I. SendIns (Tag (Throw e_af0k) tag_af1H) f_af1I => e_af0k -> f_af1I a_af0l
+ Data.Effect.Except: throw' :: forall tag_af4T (e_af3w :: Type) (a_af3x :: Type) f_af4U. SendIns (Tag (Throw e_af3w) tag_af4T) f_af4U => e_af3w -> f_af4U a_af3x
- Data.Effect.Except: throw'' :: forall key_af1K (e_af0k :: Type) (a_af0l :: Type) f_af1L. SendInsBy key_af1K (Throw e_af0k) f_af1L => e_af0k -> f_af1L a_af0l
+ Data.Effect.Except: throw'' :: forall key_af4W (e_af3w :: Type) (a_af3x :: Type) f_af4X. SendInsBy key_af4W (Throw e_af3w) f_af4X => e_af3w -> f_af4X a_af3x
- Data.Effect.Except: type LThrow e_af0i = LiftIns (Throw e_af0i)
+ Data.Effect.Except: type LThrow e_af3u = LiftIns (Throw e_af3u)
- Data.Effect.Fail: fail :: forall (a_aeR2 :: Type) f_aeRw. SendIns Fail f_aeRw => String -> f_aeRw a_aeR2
+ Data.Effect.Fail: fail :: forall (a_aeUe :: Type) f_aeUI. SendIns Fail f_aeUI => String -> f_aeUI a_aeUe
- Data.Effect.Fail: fail' :: forall tag_aeRy (a_aeR2 :: Type) f_aeRz. SendIns (Tag Fail tag_aeRy) f_aeRz => String -> f_aeRz a_aeR2
+ Data.Effect.Fail: fail' :: forall tag_aeUK (a_aeUe :: Type) f_aeUL. SendIns (Tag Fail tag_aeUK) f_aeUL => String -> f_aeUL a_aeUe
- Data.Effect.Fail: fail'' :: forall key_aeRB (a_aeR2 :: Type) f_aeRC. SendInsBy key_aeRB Fail f_aeRC => String -> f_aeRC a_aeR2
+ Data.Effect.Fail: fail'' :: forall key_aeUN (a_aeUe :: Type) f_aeUO. SendInsBy key_aeUN Fail f_aeUO => String -> f_aeUO a_aeUe
- Data.Effect.Fail: pattern LFail :: () => (a_aeRG ~ a_aeR2, ()) => String -> LiftIns Fail f_aeRF a_aeRG
+ Data.Effect.Fail: pattern LFail :: () => (a_aeUS ~ a_aeUe, ()) => String -> LiftIns Fail f_aeUR a_aeUS
- Data.Effect.Fix: mfix :: forall (a_aeHN :: Type) f_aeHO. SendSig Fix f_aeHO => (a_aeHN -> f_aeHO a_aeHN) -> f_aeHO a_aeHN
+ Data.Effect.Fix: mfix :: forall (a_aeKZ :: Type) f_aeL0. SendSig Fix f_aeL0 => (a_aeKZ -> f_aeL0 a_aeKZ) -> f_aeL0 a_aeKZ
- Data.Effect.Fix: mfix' :: forall tag_aeIw (a_aeHN :: Type) f_aeHO. SendSig (TagH Fix tag_aeIw) f_aeHO => (a_aeHN -> f_aeHO a_aeHN) -> f_aeHO a_aeHN
+ Data.Effect.Fix: mfix' :: forall tag_aeLI (a_aeKZ :: Type) f_aeL0. SendSig (TagH Fix tag_aeLI) f_aeL0 => (a_aeKZ -> f_aeL0 a_aeKZ) -> f_aeL0 a_aeKZ
- Data.Effect.Fix: mfix'' :: forall key_aeIy (a_aeHN :: Type) f_aeHO. SendSigBy key_aeIy Fix f_aeHO => (a_aeHN -> f_aeHO a_aeHN) -> f_aeHO a_aeHN
+ Data.Effect.Fix: mfix'' :: forall key_aeLK (a_aeKZ :: Type) f_aeL0. SendSigBy key_aeLK Fix f_aeL0 => (a_aeKZ -> f_aeL0 a_aeKZ) -> f_aeL0 a_aeKZ
- Data.Effect.Fresh: fresh :: forall (i_aeA1 :: Type) f_aeAu. SendIns (Fresh i_aeA1) f_aeAu => f_aeAu i_aeA1
+ Data.Effect.Fresh: fresh :: forall (i_aeDd :: Type) f_aeDG. SendIns (Fresh i_aeDd) f_aeDG => f_aeDG i_aeDd
- Data.Effect.Fresh: fresh' :: forall tag_aeAv (i_aeA1 :: Type) f_aeAw. SendIns (Tag (Fresh i_aeA1) tag_aeAv) f_aeAw => f_aeAw i_aeA1
+ Data.Effect.Fresh: fresh' :: forall tag_aeDH (i_aeDd :: Type) f_aeDI. SendIns (Tag (Fresh i_aeDd) tag_aeDH) f_aeDI => f_aeDI i_aeDd
- Data.Effect.Fresh: fresh'' :: forall key_aeAx (i_aeA1 :: Type) f_aeAy. SendInsBy key_aeAx (Fresh i_aeA1) f_aeAy => f_aeAy i_aeA1
+ Data.Effect.Fresh: fresh'' :: forall key_aeDJ (i_aeDd :: Type) f_aeDK. SendInsBy key_aeDJ (Fresh i_aeDd) f_aeDK => f_aeDK i_aeDd
- Data.Effect.Fresh: pattern LFresh :: () => (a_aeAA ~ i_aeA1, ()) => LiftIns (Fresh i_aeA1) f_aeAz a_aeAA
+ Data.Effect.Fresh: pattern LFresh :: () => (a_aeDM ~ i_aeDd, ()) => LiftIns (Fresh i_aeDd) f_aeDL a_aeDM
- Data.Effect.Fresh: type LFresh i_aezZ = LiftIns (Fresh i_aezZ)
+ Data.Effect.Fresh: type LFresh i_aeDb = LiftIns (Fresh i_aeDb)
- Data.Effect.Input: input :: forall (i_aeqG :: Type) f_aer9. SendIns (Input i_aeqG) f_aer9 => f_aer9 i_aeqG
+ Data.Effect.Input: input :: forall (i_aetS :: Type) f_aeul. SendIns (Input i_aetS) f_aeul => f_aeul i_aetS
- Data.Effect.Input: input' :: forall tag_aera (i_aeqG :: Type) f_aerb. SendIns (Tag (Input i_aeqG) tag_aera) f_aerb => f_aerb i_aeqG
+ Data.Effect.Input: input' :: forall tag_aeum (i_aetS :: Type) f_aeun. SendIns (Tag (Input i_aetS) tag_aeum) f_aeun => f_aeun i_aetS
- Data.Effect.Input: input'' :: forall key_aerc (i_aeqG :: Type) f_aerd. SendInsBy key_aerc (Input i_aeqG) f_aerd => f_aerd i_aeqG
+ Data.Effect.Input: input'' :: forall key_aeuo (i_aetS :: Type) f_aeup. SendInsBy key_aeuo (Input i_aetS) f_aeup => f_aeup i_aetS
- Data.Effect.Input: pattern LInput :: () => (a_aerf ~ i_aeqG, ()) => LiftIns (Input i_aeqG) f_aere a_aerf
+ Data.Effect.Input: pattern LInput :: () => (a_aeur ~ i_aetS, ()) => LiftIns (Input i_aetS) f_aeuq a_aeur
- Data.Effect.Input: type LInput i_aeqE = LiftIns (Input i_aeqE)
+ Data.Effect.Input: type LInput i_aetQ = LiftIns (Input i_aetQ)
- Data.Effect.KVStore: lookupKV :: forall (k_afAQ :: Type) (v_afAR :: Type) f_afCf. SendIns (KVStore k_afAQ v_afAR) f_afCf => k_afAQ -> f_afCf (Maybe v_afAR)
+ Data.Effect.KVStore: lookupKV :: forall (k_afE2 :: Type) (v_afE3 :: Type) f_afFr. SendIns (KVStore k_afE2 v_afE3) f_afFr => k_afE2 -> f_afFr (Maybe v_afE3)
- Data.Effect.KVStore: lookupKV' :: forall tag_afCh (k_afAQ :: Type) (v_afAR :: Type) f_afCi. SendIns (Tag (KVStore k_afAQ v_afAR) tag_afCh) f_afCi => k_afAQ -> f_afCi (Maybe v_afAR)
+ Data.Effect.KVStore: lookupKV' :: forall tag_afFt (k_afE2 :: Type) (v_afE3 :: Type) f_afFu. SendIns (Tag (KVStore k_afE2 v_afE3) tag_afFt) f_afFu => k_afE2 -> f_afFu (Maybe v_afE3)
- Data.Effect.KVStore: lookupKV'' :: forall key_afCk (k_afAQ :: Type) (v_afAR :: Type) f_afCl. SendInsBy key_afCk (KVStore k_afAQ v_afAR) f_afCl => k_afAQ -> f_afCl (Maybe v_afAR)
+ Data.Effect.KVStore: lookupKV'' :: forall key_afFw (k_afE2 :: Type) (v_afE3 :: Type) f_afFx. SendInsBy key_afFw (KVStore k_afE2 v_afE3) f_afFx => k_afE2 -> f_afFx (Maybe v_afE3)
- Data.Effect.KVStore: type LKVStore k_afAN v_afAO = LiftIns (KVStore k_afAN v_afAO)
+ Data.Effect.KVStore: type LKVStore k_afDZ v_afE0 = LiftIns (KVStore k_afDZ v_afE0)
- Data.Effect.KVStore: updateKV :: forall (k_afBe :: Type) (v_afBf :: Type) f_afCn. SendIns (KVStore k_afBe v_afBf) f_afCn => k_afBe -> Maybe v_afBf -> f_afCn ()
+ Data.Effect.KVStore: updateKV :: forall (k_afEq :: Type) (v_afEr :: Type) f_afFz. SendIns (KVStore k_afEq v_afEr) f_afFz => k_afEq -> Maybe v_afEr -> f_afFz ()
- Data.Effect.KVStore: updateKV' :: forall tag_afCq (k_afBe :: Type) (v_afBf :: Type) f_afCr. SendIns (Tag (KVStore k_afBe v_afBf) tag_afCq) f_afCr => k_afBe -> Maybe v_afBf -> f_afCr ()
+ Data.Effect.KVStore: updateKV' :: forall tag_afFC (k_afEq :: Type) (v_afEr :: Type) f_afFD. SendIns (Tag (KVStore k_afEq v_afEr) tag_afFC) f_afFD => k_afEq -> Maybe v_afEr -> f_afFD ()
- Data.Effect.KVStore: updateKV'' :: forall key_afCu (k_afBe :: Type) (v_afBf :: Type) f_afCv. SendInsBy key_afCu (KVStore k_afBe v_afBf) f_afCv => k_afBe -> Maybe v_afBf -> f_afCv ()
+ Data.Effect.KVStore: updateKV'' :: forall key_afFG (k_afEq :: Type) (v_afEr :: Type) f_afFH. SendInsBy key_afFG (KVStore k_afEq v_afEr) f_afFH => k_afEq -> Maybe v_afEr -> f_afFH ()
- Data.Effect.NonDet: choose :: forall f_ae80. SendIns Choose f_ae80 => f_ae80 Bool
+ Data.Effect.NonDet: choose :: forall f_aebc. SendIns Choose f_aebc => f_aebc Bool
- Data.Effect.NonDet: choose' :: forall tag_ae81 f_ae82. SendIns (Tag Choose tag_ae81) f_ae82 => f_ae82 Bool
+ Data.Effect.NonDet: choose' :: forall tag_aebd f_aebe. SendIns (Tag Choose tag_aebd) f_aebe => f_aebe Bool
- Data.Effect.NonDet: choose'' :: forall key_ae83 f_ae84. SendInsBy key_ae83 Choose f_ae84 => f_ae84 Bool
+ Data.Effect.NonDet: choose'' :: forall key_aebf f_aebg. SendInsBy key_aebf Choose f_aebg => f_aebg Bool
- Data.Effect.NonDet: chooseH :: forall (a_ae8h :: Type) f_ae8g. SendSig ChooseH f_ae8g => f_ae8g a_ae8h -> f_ae8g a_ae8h -> f_ae8g a_ae8h
+ Data.Effect.NonDet: chooseH :: forall (a_aebt :: Type) f_aebs. SendSig ChooseH f_aebs => f_aebs a_aebt -> f_aebs a_aebt -> f_aebs a_aebt
- Data.Effect.NonDet: chooseH' :: forall tag_aebz (a_ae8h :: Type) f_ae8g. SendSig (TagH ChooseH tag_aebz) f_ae8g => f_ae8g a_ae8h -> f_ae8g a_ae8h -> f_ae8g a_ae8h
+ Data.Effect.NonDet: chooseH' :: forall tag_aeeL (a_aebt :: Type) f_aebs. SendSig (TagH ChooseH tag_aeeL) f_aebs => f_aebs a_aebt -> f_aebs a_aebt -> f_aebs a_aebt
- Data.Effect.NonDet: chooseH'' :: forall key_aebC (a_ae8h :: Type) f_ae8g. SendSigBy key_aebC ChooseH f_ae8g => f_ae8g a_ae8h -> f_ae8g a_ae8h -> f_ae8g a_ae8h
+ Data.Effect.NonDet: chooseH'' :: forall key_aeeO (a_aebt :: Type) f_aebs. SendSigBy key_aeeO ChooseH f_aebs => f_aebs a_aebt -> f_aebs a_aebt -> f_aebs a_aebt
- Data.Effect.NonDet: empty :: forall (a_ae43 :: Type) f_ae4v. SendIns Empty f_ae4v => f_ae4v a_ae43
+ Data.Effect.NonDet: empty :: forall (a_ae7f :: Type) f_ae7H. SendIns Empty f_ae7H => f_ae7H a_ae7f
- Data.Effect.NonDet: empty' :: forall tag_ae4w (a_ae43 :: Type) f_ae4x. SendIns (Tag Empty tag_ae4w) f_ae4x => f_ae4x a_ae43
+ Data.Effect.NonDet: empty' :: forall tag_ae7I (a_ae7f :: Type) f_ae7J. SendIns (Tag Empty tag_ae7I) f_ae7J => f_ae7J a_ae7f
- Data.Effect.NonDet: empty'' :: forall key_ae4y (a_ae43 :: Type) f_ae4z. SendInsBy key_ae4y Empty f_ae4z => f_ae4z a_ae43
+ Data.Effect.NonDet: empty'' :: forall key_ae7K (a_ae7f :: Type) f_ae7L. SendInsBy key_ae7K Empty f_ae7L => f_ae7L a_ae7f
- Data.Effect.NonDet: pattern LChoose :: () => (a_ae86 ~ Bool, ()) => LiftIns Choose f_ae85 a_ae86
+ Data.Effect.NonDet: pattern LChoose :: () => (a_aebi ~ Bool, ()) => LiftIns Choose f_aebh a_aebi
- Data.Effect.Output: output :: forall (o_adTL :: Type) f_adUg. SendIns (Output o_adTL) f_adUg => o_adTL -> f_adUg ()
+ Data.Effect.Output: output :: forall (o_adWX :: Type) f_adXs. SendIns (Output o_adWX) f_adXs => o_adWX -> f_adXs ()
- Data.Effect.Output: output' :: forall tag_adUi (o_adTL :: Type) f_adUj. SendIns (Tag (Output o_adTL) tag_adUi) f_adUj => o_adTL -> f_adUj ()
+ Data.Effect.Output: output' :: forall tag_adXu (o_adWX :: Type) f_adXv. SendIns (Tag (Output o_adWX) tag_adXu) f_adXv => o_adWX -> f_adXv ()
- Data.Effect.Output: output'' :: forall key_adUl (o_adTL :: Type) f_adUm. SendInsBy key_adUl (Output o_adTL) f_adUm => o_adTL -> f_adUm ()
+ Data.Effect.Output: output'' :: forall key_adXx (o_adWX :: Type) f_adXy. SendInsBy key_adXx (Output o_adWX) f_adXy => o_adWX -> f_adXy ()
- Data.Effect.Output: type LOutput o_adTJ = LiftIns (Output o_adTJ)
+ Data.Effect.Output: type LOutput o_adWV = LiftIns (Output o_adWV)
- Data.Effect.Provider: provide :: forall (i_adxU :: Type) (c_adxV :: (Type -> Type) -> Constraint) (e_adxW :: (Type -> Type) -> Constraint) (a_X0 :: Type) (ctx_adxZ :: Type -> Type) f_adxX. SendSigBy ProviderKey (Provider' c_adxV i_adxU ctx_adxZ e_adxW) f_adxX => i_adxU -> (forall (g_ady0 :: Type -> Type). (c_adxV g_ady0, e_adxW g_ady0) => (forall (x_ady1 :: Type). f_adxX x_ady1 -> g_ady0 x_ady1) -> g_ady0 a_X0) -> f_adxX (ctx_adxZ a_X0)
+ Data.Effect.Provider: provide :: forall (i_adB6 :: Type) (c_adB7 :: (Type -> Type) -> Constraint) (e_adB8 :: (Type -> Type) -> Constraint) (a_X0 :: Type) (ctx_adBb :: Type -> Type) f_adB9. SendSigBy ProviderKey (Provider' c_adB7 i_adB6 ctx_adBb e_adB8) f_adB9 => i_adB6 -> (forall (g_adBc :: Type -> Type). (c_adB7 g_adBc, e_adB8 g_adBc) => (forall (x_adBd :: Type). f_adB9 x_adBd -> g_adBc x_adBd) -> g_adBc a_X0) -> f_adB9 (ctx_adBb a_X0)
- Data.Effect.Provider: provide' :: forall tag_adA9 (i_adxU :: Type) (c_adxV :: (Type -> Type) -> Constraint) (e_adxW :: (Type -> Type) -> Constraint) (a_X0 :: Type) (ctx_adxZ :: Type -> Type) f_adxX. SendSig (TagH (Provider' c_adxV i_adxU ctx_adxZ e_adxW) tag_adA9) f_adxX => i_adxU -> (forall (g_ady0 :: Type -> Type). (c_adxV g_ady0, e_adxW g_ady0) => (forall (x_ady1 :: Type). f_adxX x_ady1 -> g_ady0 x_ady1) -> g_ady0 a_X0) -> f_adxX (ctx_adxZ a_X0)
+ Data.Effect.Provider: provide' :: forall tag_adDl (i_adB6 :: Type) (c_adB7 :: (Type -> Type) -> Constraint) (e_adB8 :: (Type -> Type) -> Constraint) (a_X0 :: Type) (ctx_adBb :: Type -> Type) f_adB9. SendSig (TagH (Provider' c_adB7 i_adB6 ctx_adBb e_adB8) tag_adDl) f_adB9 => i_adB6 -> (forall (g_adBc :: Type -> Type). (c_adB7 g_adBc, e_adB8 g_adBc) => (forall (x_adBd :: Type). f_adB9 x_adBd -> g_adBc x_adBd) -> g_adBc a_X0) -> f_adB9 (ctx_adBb a_X0)
- Data.Effect.Provider: provide'' :: forall key_adAc (i_adxU :: Type) (c_adxV :: (Type -> Type) -> Constraint) (e_adxW :: (Type -> Type) -> Constraint) (a_X0 :: Type) (ctx_adxZ :: Type -> Type) f_adxX. SendSigBy key_adAc (Provider' c_adxV i_adxU ctx_adxZ e_adxW) f_adxX => i_adxU -> (forall (g_ady0 :: Type -> Type). (c_adxV g_ady0, e_adxW g_ady0) => (forall (x_ady1 :: Type). f_adxX x_ady1 -> g_ady0 x_ady1) -> g_ady0 a_X0) -> f_adxX (ctx_adxZ a_X0)
+ Data.Effect.Provider: provide'' :: forall key_adDo (i_adB6 :: Type) (c_adB7 :: (Type -> Type) -> Constraint) (e_adB8 :: (Type -> Type) -> Constraint) (a_X0 :: Type) (ctx_adBb :: Type -> Type) f_adB9. SendSigBy key_adDo (Provider' c_adB7 i_adB6 ctx_adBb e_adB8) f_adB9 => i_adB6 -> (forall (g_adBc :: Type -> Type). (c_adB7 g_adBc, e_adB8 g_adBc) => (forall (x_adBd :: Type). f_adB9 x_adBd -> g_adBc x_adBd) -> g_adBc a_X0) -> f_adB9 (ctx_adBb a_X0)
- Data.Effect.Provider: provide'_ :: forall (i_adxU :: Type) (c_adxV :: (Type -> Type) -> Constraint) (e_adxW :: (Type -> Type) -> Constraint) (a_X0 :: Type) (ctx_adxZ :: Type -> Type) f_adxX. SendSig (Provider' c_adxV i_adxU ctx_adxZ e_adxW) f_adxX => i_adxU -> (forall (g_ady0 :: Type -> Type). (c_adxV g_ady0, e_adxW g_ady0) => (forall (x_ady1 :: Type). f_adxX x_ady1 -> g_ady0 x_ady1) -> g_ady0 a_X0) -> f_adxX (ctx_adxZ a_X0)
+ Data.Effect.Provider: provide'_ :: forall (i_adB6 :: Type) (c_adB7 :: (Type -> Type) -> Constraint) (e_adB8 :: (Type -> Type) -> Constraint) (a_X0 :: Type) (ctx_adBb :: Type -> Type) f_adB9. SendSig (Provider' c_adB7 i_adB6 ctx_adBb e_adB8) f_adB9 => i_adB6 -> (forall (g_adBc :: Type -> Type). (c_adB7 g_adBc, e_adB8 g_adBc) => (forall (x_adBd :: Type). f_adB9 x_adBd -> g_adBc x_adBd) -> g_adBc a_X0) -> f_adB9 (ctx_adBb a_X0)
- Data.Effect.Provider: type Provider c_adxO i_adxP ctx_adxQ e_adxR = (##>) ProviderKey (Provider' c_adxO i_adxP ctx_adxQ e_adxR)
+ Data.Effect.Provider: type Provider c_adB0 i_adB1 ctx_adB2 e_adB3 = (##>) ProviderKey (Provider' c_adB0 i_adB1 ctx_adB2 e_adB3)
- Data.Effect.Provider.Implicit: type ImplicitProvider c_adcZ i_add0 e_add1 = (##>) ImplicitProviderKey (ImplicitProvider' c_adcZ i_add0 e_add1)
+ Data.Effect.Provider.Implicit: type ImplicitProvider c_adgb i_adgc e_adgd = (##>) ImplicitProviderKey (ImplicitProvider' c_adgb i_adgc e_adgd)
- Data.Effect.Provider.Implicit: withImplicit :: forall (i_add4 :: Type) (c_add5 :: (Type -> Type) -> Constraint) (e_add6 :: (Type -> Type) -> Constraint) (a_add8 :: Type) f_add7. SendSigBy ImplicitProviderKey (ImplicitProvider' c_add5 i_add4 e_add6) f_add7 => i_add4 -> (forall (g_add9 :: Type -> Type). (c_add5 g_add9, e_add6 g_add9) => (forall (x_adda :: Type). f_add7 x_adda -> g_add9 x_adda) -> g_add9 a_add8) -> f_add7 a_add8
+ Data.Effect.Provider.Implicit: withImplicit :: forall (i_adgg :: Type) (c_adgh :: (Type -> Type) -> Constraint) (e_adgi :: (Type -> Type) -> Constraint) (a_adgk :: Type) f_adgj. SendSigBy ImplicitProviderKey (ImplicitProvider' c_adgh i_adgg e_adgi) f_adgj => i_adgg -> (forall (g_adgl :: Type -> Type). (c_adgh g_adgl, e_adgi g_adgl) => (forall (x_adgm :: Type). f_adgj x_adgm -> g_adgl x_adgm) -> g_adgl a_adgk) -> f_adgj a_adgk
- Data.Effect.Provider.Implicit: withImplicit' :: forall tag_adf9 (i_add4 :: Type) (c_add5 :: (Type -> Type) -> Constraint) (e_add6 :: (Type -> Type) -> Constraint) (a_add8 :: Type) f_add7. SendSig (TagH (ImplicitProvider' c_add5 i_add4 e_add6) tag_adf9) f_add7 => i_add4 -> (forall (g_add9 :: Type -> Type). (c_add5 g_add9, e_add6 g_add9) => (forall (x_adda :: Type). f_add7 x_adda -> g_add9 x_adda) -> g_add9 a_add8) -> f_add7 a_add8
+ Data.Effect.Provider.Implicit: withImplicit' :: forall tag_adil (i_adgg :: Type) (c_adgh :: (Type -> Type) -> Constraint) (e_adgi :: (Type -> Type) -> Constraint) (a_adgk :: Type) f_adgj. SendSig (TagH (ImplicitProvider' c_adgh i_adgg e_adgi) tag_adil) f_adgj => i_adgg -> (forall (g_adgl :: Type -> Type). (c_adgh g_adgl, e_adgi g_adgl) => (forall (x_adgm :: Type). f_adgj x_adgm -> g_adgl x_adgm) -> g_adgl a_adgk) -> f_adgj a_adgk
- Data.Effect.Provider.Implicit: withImplicit'' :: forall key_adfc (i_add4 :: Type) (c_add5 :: (Type -> Type) -> Constraint) (e_add6 :: (Type -> Type) -> Constraint) (a_add8 :: Type) f_add7. SendSigBy key_adfc (ImplicitProvider' c_add5 i_add4 e_add6) f_add7 => i_add4 -> (forall (g_add9 :: Type -> Type). (c_add5 g_add9, e_add6 g_add9) => (forall (x_adda :: Type). f_add7 x_adda -> g_add9 x_adda) -> g_add9 a_add8) -> f_add7 a_add8
+ Data.Effect.Provider.Implicit: withImplicit'' :: forall key_adio (i_adgg :: Type) (c_adgh :: (Type -> Type) -> Constraint) (e_adgi :: (Type -> Type) -> Constraint) (a_adgk :: Type) f_adgj. SendSigBy key_adio (ImplicitProvider' c_adgh i_adgg e_adgi) f_adgj => i_adgg -> (forall (g_adgl :: Type -> Type). (c_adgh g_adgl, e_adgi g_adgl) => (forall (x_adgm :: Type). f_adgj x_adgm -> g_adgl x_adgm) -> g_adgl a_adgk) -> f_adgj a_adgk
- Data.Effect.Provider.Implicit: withImplicit'_ :: forall (i_add4 :: Type) (c_add5 :: (Type -> Type) -> Constraint) (e_add6 :: (Type -> Type) -> Constraint) (a_add8 :: Type) f_add7. SendSig (ImplicitProvider' c_add5 i_add4 e_add6) f_add7 => i_add4 -> (forall (g_add9 :: Type -> Type). (c_add5 g_add9, e_add6 g_add9) => (forall (x_adda :: Type). f_add7 x_adda -> g_add9 x_adda) -> g_add9 a_add8) -> f_add7 a_add8
+ Data.Effect.Provider.Implicit: withImplicit'_ :: forall (i_adgg :: Type) (c_adgh :: (Type -> Type) -> Constraint) (e_adgi :: (Type -> Type) -> Constraint) (a_adgk :: Type) f_adgj. SendSig (ImplicitProvider' c_adgh i_adgg e_adgi) f_adgj => i_adgg -> (forall (g_adgl :: Type -> Type). (c_adgh g_adgl, e_adgi g_adgl) => (forall (x_adgm :: Type). f_adgj x_adgm -> g_adgl x_adgm) -> g_adgl a_adgk) -> f_adgj a_adgk
- Data.Effect.Reader: ask :: forall (r_acUN :: Type) f_acVX. SendIns (Ask r_acUN) f_acVX => f_acVX r_acUN
+ Data.Effect.Reader: ask :: forall (r_acXZ :: Type) f_acZ9. SendIns (Ask r_acXZ) f_acZ9 => f_acZ9 r_acXZ
- Data.Effect.Reader: ask' :: forall tag_acVY (r_acUN :: Type) f_acVZ. SendIns (Tag (Ask r_acUN) tag_acVY) f_acVZ => f_acVZ r_acUN
+ Data.Effect.Reader: ask' :: forall tag_acZa (r_acXZ :: Type) f_acZb. SendIns (Tag (Ask r_acXZ) tag_acZa) f_acZb => f_acZb r_acXZ
- Data.Effect.Reader: ask'' :: forall key_acW0 (r_acUN :: Type) f_acW1. SendInsBy key_acW0 (Ask r_acUN) f_acW1 => f_acW1 r_acUN
+ Data.Effect.Reader: ask'' :: forall key_acZc (r_acXZ :: Type) f_acZd. SendInsBy key_acZc (Ask r_acXZ) f_acZd => f_acZd r_acXZ
- Data.Effect.Reader: local :: forall (r_acUI :: Type) (a_acUK :: Type) f_acUJ. SendSig (Local r_acUI) f_acUJ => (r_acUI -> r_acUI) -> f_acUJ a_acUK -> f_acUJ a_acUK
+ Data.Effect.Reader: local :: forall (r_acXU :: Type) (a_acXW :: Type) f_acXV. SendSig (Local r_acXU) f_acXV => (r_acXU -> r_acXU) -> f_acXV a_acXW -> f_acXV a_acXW
- Data.Effect.Reader: local' :: forall tag_acW9 (r_acUI :: Type) (a_acUK :: Type) f_acUJ. SendSig (TagH (Local r_acUI) tag_acW9) f_acUJ => (r_acUI -> r_acUI) -> f_acUJ a_acUK -> f_acUJ a_acUK
+ Data.Effect.Reader: local' :: forall tag_acZl (r_acXU :: Type) (a_acXW :: Type) f_acXV. SendSig (TagH (Local r_acXU) tag_acZl) f_acXV => (r_acXU -> r_acXU) -> f_acXV a_acXW -> f_acXV a_acXW
- Data.Effect.Reader: local'' :: forall key_acWc (r_acUI :: Type) (a_acUK :: Type) f_acUJ. SendSigBy key_acWc (Local r_acUI) f_acUJ => (r_acUI -> r_acUI) -> f_acUJ a_acUK -> f_acUJ a_acUK
+ Data.Effect.Reader: local'' :: forall key_acZo (r_acXU :: Type) (a_acXW :: Type) f_acXV. SendSigBy key_acZo (Local r_acXU) f_acXV => (r_acXU -> r_acXU) -> f_acXV a_acXW -> f_acXV a_acXW
- Data.Effect.Reader: pattern LAsk :: () => (a_acW3 ~ r_acUN, ()) => LiftIns (Ask r_acUN) f_acW2 a_acW3
+ Data.Effect.Reader: pattern LAsk :: () => (a_acZf ~ r_acXZ, ()) => LiftIns (Ask r_acXZ) f_acZe a_acZf
- Data.Effect.Reader: type LAsk r_acUL = LiftIns (Ask r_acUL)
+ Data.Effect.Reader: type LAsk r_acXX = LiftIns (Ask r_acXX)
- Data.Effect.Resource: bracket :: forall (a_X0 :: Type) (b_achR :: Type) f_achP. SendSig Resource f_achP => f_achP a_X0 -> (a_X0 -> f_achP ()) -> (a_X0 -> f_achP b_achR) -> f_achP b_achR
+ Data.Effect.Resource: bracket :: forall (a_X0 :: Type) (b_acl3 :: Type) f_acl1. SendSig Resource f_acl1 => f_acl1 a_X0 -> (a_X0 -> f_acl1 ()) -> (a_X0 -> f_acl1 b_acl3) -> f_acl1 b_acl3
- Data.Effect.Resource: bracket' :: forall tag_acjx (a_X0 :: Type) (b_achR :: Type) f_achP. SendSig (TagH Resource tag_acjx) f_achP => f_achP a_X0 -> (a_X0 -> f_achP ()) -> (a_X0 -> f_achP b_achR) -> f_achP b_achR
+ Data.Effect.Resource: bracket' :: forall tag_acmJ (a_X0 :: Type) (b_acl3 :: Type) f_acl1. SendSig (TagH Resource tag_acmJ) f_acl1 => f_acl1 a_X0 -> (a_X0 -> f_acl1 ()) -> (a_X0 -> f_acl1 b_acl3) -> f_acl1 b_acl3
- Data.Effect.Resource: bracket'' :: forall key_acjB (a_X0 :: Type) (b_achR :: Type) f_achP. SendSigBy key_acjB Resource f_achP => f_achP a_X0 -> (a_X0 -> f_achP ()) -> (a_X0 -> f_achP b_achR) -> f_achP b_achR
+ Data.Effect.Resource: bracket'' :: forall key_acmN (a_X0 :: Type) (b_acl3 :: Type) f_acl1. SendSigBy key_acmN Resource f_acl1 => f_acl1 a_X0 -> (a_X0 -> f_acl1 ()) -> (a_X0 -> f_acl1 b_acl3) -> f_acl1 b_acl3
- Data.Effect.Resource: bracketOnExcept :: forall (a_X0 :: Type) (b_achU :: Type) f_achS. SendSig Resource f_achS => f_achS a_X0 -> (a_X0 -> f_achS ()) -> (a_X0 -> f_achS b_achU) -> f_achS b_achU
+ Data.Effect.Resource: bracketOnExcept :: forall (a_X0 :: Type) (b_acl6 :: Type) f_acl4. SendSig Resource f_acl4 => f_acl4 a_X0 -> (a_X0 -> f_acl4 ()) -> (a_X0 -> f_acl4 b_acl6) -> f_acl4 b_acl6
- Data.Effect.Resource: bracketOnExcept' :: forall tag_acjI (a_X0 :: Type) (b_achU :: Type) f_achS. SendSig (TagH Resource tag_acjI) f_achS => f_achS a_X0 -> (a_X0 -> f_achS ()) -> (a_X0 -> f_achS b_achU) -> f_achS b_achU
+ Data.Effect.Resource: bracketOnExcept' :: forall tag_acmU (a_X0 :: Type) (b_acl6 :: Type) f_acl4. SendSig (TagH Resource tag_acmU) f_acl4 => f_acl4 a_X0 -> (a_X0 -> f_acl4 ()) -> (a_X0 -> f_acl4 b_acl6) -> f_acl4 b_acl6
- Data.Effect.Resource: bracketOnExcept'' :: forall key_acjM (a_X0 :: Type) (b_achU :: Type) f_achS. SendSigBy key_acjM Resource f_achS => f_achS a_X0 -> (a_X0 -> f_achS ()) -> (a_X0 -> f_achS b_achU) -> f_achS b_achU
+ Data.Effect.Resource: bracketOnExcept'' :: forall key_acmY (a_X0 :: Type) (b_acl6 :: Type) f_acl4. SendSigBy key_acmY Resource f_acl4 => f_acl4 a_X0 -> (a_X0 -> f_acl4 ()) -> (a_X0 -> f_acl4 b_acl6) -> f_acl4 b_acl6
- Data.Effect.ShiftReset: reset :: forall (a_abQq :: Type) m_abQp. SendSig Reset m_abQp => m_abQp a_abQq -> m_abQp a_abQq
+ Data.Effect.ShiftReset: reset :: forall (a_abTC :: Type) m_abTB. SendSig Reset m_abTB => m_abTB a_abTC -> m_abTB a_abTC
- Data.Effect.ShiftReset: reset' :: forall tag_abUC (a_abQq :: Type) m_abQp. SendSig (TagH Reset tag_abUC) m_abQp => m_abQp a_abQq -> m_abQp a_abQq
+ Data.Effect.ShiftReset: reset' :: forall tag_abXO (a_abTC :: Type) m_abTB. SendSig (TagH Reset tag_abXO) m_abTB => m_abTB a_abTC -> m_abTB a_abTC
- Data.Effect.ShiftReset: reset'' :: forall key_abUE (a_abQq :: Type) m_abQp. SendSigBy key_abUE Reset m_abQp => m_abQp a_abQq -> m_abQp a_abQq
+ Data.Effect.ShiftReset: reset'' :: forall key_abXQ (a_abTC :: Type) m_abTB. SendSigBy key_abXQ Reset m_abTB => m_abTB a_abTC -> m_abTB a_abTC
- Data.Effect.ShiftReset: shift :: forall (r_abFK :: Type) (a_abFM :: Type) m_abFL. SendSigBy ShiftKey (Shift' r_abFK) m_abFL => ((a_abFM -> m_abFL r_abFK) -> m_abFL r_abFK) -> m_abFL a_abFM
+ Data.Effect.ShiftReset: shift :: forall (r_abIW :: Type) (a_abIY :: Type) m_abIX. SendSigBy ShiftKey (Shift' r_abIW) m_abIX => ((a_abIY -> m_abIX r_abIW) -> m_abIX r_abIW) -> m_abIX a_abIY
- Data.Effect.ShiftReset: shift' :: forall tag_abH5 (r_abFK :: Type) (a_abFM :: Type) m_abFL. SendSig (TagH (Shift' r_abFK) tag_abH5) m_abFL => ((a_abFM -> m_abFL r_abFK) -> m_abFL r_abFK) -> m_abFL a_abFM
+ Data.Effect.ShiftReset: shift' :: forall tag_abKh (r_abIW :: Type) (a_abIY :: Type) m_abIX. SendSig (TagH (Shift' r_abIW) tag_abKh) m_abIX => ((a_abIY -> m_abIX r_abIW) -> m_abIX r_abIW) -> m_abIX a_abIY
- Data.Effect.ShiftReset: shift'' :: forall key_abH7 (r_abFK :: Type) (a_abFM :: Type) m_abFL. SendSigBy key_abH7 (Shift' r_abFK) m_abFL => ((a_abFM -> m_abFL r_abFK) -> m_abFL r_abFK) -> m_abFL a_abFM
+ Data.Effect.ShiftReset: shift'' :: forall key_abKj (r_abIW :: Type) (a_abIY :: Type) m_abIX. SendSigBy key_abKj (Shift' r_abIW) m_abIX => ((a_abIY -> m_abIX r_abIW) -> m_abIX r_abIW) -> m_abIX a_abIY
- Data.Effect.ShiftReset: shift'_ :: forall (r_abFK :: Type) (a_abFM :: Type) m_abFL. SendSig (Shift' r_abFK) m_abFL => ((a_abFM -> m_abFL r_abFK) -> m_abFL r_abFK) -> m_abFL a_abFM
+ Data.Effect.ShiftReset: shift'_ :: forall (r_abIW :: Type) (a_abIY :: Type) m_abIX. SendSig (Shift' r_abIW) m_abIX => ((a_abIY -> m_abIX r_abIW) -> m_abIX r_abIW) -> m_abIX a_abIY
- Data.Effect.ShiftReset: shift_ :: forall (a_abHm :: Type) m_abHn. SendSig Shift_ m_abHn => (forall (r_abHo :: Type). (a_abHm -> m_abHn r_abHo) -> m_abHn r_abHo) -> m_abHn a_abHm
+ Data.Effect.ShiftReset: shift_ :: forall (a_abKy :: Type) m_abKz. SendSig Shift_ m_abKz => (forall (r_abKA :: Type). (a_abKy -> m_abKz r_abKA) -> m_abKz r_abKA) -> m_abKz a_abKy
- Data.Effect.ShiftReset: shift_' :: forall tag_abQd (a_abHm :: Type) m_abHn. SendSig (TagH Shift_ tag_abQd) m_abHn => (forall (r_abHo :: Type). (a_abHm -> m_abHn r_abHo) -> m_abHn r_abHo) -> m_abHn a_abHm
+ Data.Effect.ShiftReset: shift_' :: forall tag_abTp (a_abKy :: Type) m_abKz. SendSig (TagH Shift_ tag_abTp) m_abKz => (forall (r_abKA :: Type). (a_abKy -> m_abKz r_abKA) -> m_abKz r_abKA) -> m_abKz a_abKy
- Data.Effect.ShiftReset: shift_'' :: forall key_abQf (a_abHm :: Type) m_abHn. SendSigBy key_abQf Shift_ m_abHn => (forall (r_abHo :: Type). (a_abHm -> m_abHn r_abHo) -> m_abHn r_abHo) -> m_abHn a_abHm
+ Data.Effect.ShiftReset: shift_'' :: forall key_abTr (a_abKy :: Type) m_abKz. SendSigBy key_abTr Shift_ m_abKz => (forall (r_abKA :: Type). (a_abKy -> m_abKz r_abKA) -> m_abKz r_abKA) -> m_abKz a_abKy
- Data.Effect.ShiftReset: type Shift r_abFH = (##>) ShiftKey (Shift' r_abFH)
+ Data.Effect.ShiftReset: type Shift r_abIT = (##>) ShiftKey (Shift' r_abIT)
- Data.Effect.State: get :: forall (s_abje :: Type) f_abjW. SendIns (State s_abje) f_abjW => f_abjW s_abje
+ Data.Effect.State: get :: forall (s_abmq :: Type) f_abn8. SendIns (State s_abmq) f_abn8 => f_abn8 s_abmq
- Data.Effect.State: get' :: forall tag_abjX (s_abje :: Type) f_abjY. SendIns (Tag (State s_abje) tag_abjX) f_abjY => f_abjY s_abje
+ Data.Effect.State: get' :: forall tag_abn9 (s_abmq :: Type) f_abna. SendIns (Tag (State s_abmq) tag_abn9) f_abna => f_abna s_abmq
- Data.Effect.State: get'' :: forall key_abjZ (s_abje :: Type) f_abk0. SendInsBy key_abjZ (State s_abje) f_abk0 => f_abk0 s_abje
+ Data.Effect.State: get'' :: forall key_abnb (s_abmq :: Type) f_abnc. SendInsBy key_abnb (State s_abmq) f_abnc => f_abnc s_abmq
- Data.Effect.State: pattern LGet :: () => (a_abka ~ s_abje, ()) => LiftIns (State s_abje) f_abk9 a_abka
+ Data.Effect.State: pattern LGet :: () => (a_abnm ~ s_abmq, ()) => LiftIns (State s_abmq) f_abnl a_abnm
- Data.Effect.State: put :: forall (s_abjf :: Type) f_abk1. SendIns (State s_abjf) f_abk1 => s_abjf -> f_abk1 ()
+ Data.Effect.State: put :: forall (s_abmr :: Type) f_abnd. SendIns (State s_abmr) f_abnd => s_abmr -> f_abnd ()
- Data.Effect.State: put' :: forall tag_abk3 (s_abjf :: Type) f_abk4. SendIns (Tag (State s_abjf) tag_abk3) f_abk4 => s_abjf -> f_abk4 ()
+ Data.Effect.State: put' :: forall tag_abnf (s_abmr :: Type) f_abng. SendIns (Tag (State s_abmr) tag_abnf) f_abng => s_abmr -> f_abng ()
- Data.Effect.State: put'' :: forall key_abk6 (s_abjf :: Type) f_abk7. SendInsBy key_abk6 (State s_abjf) f_abk7 => s_abjf -> f_abk7 ()
+ Data.Effect.State: put'' :: forall key_abni (s_abmr :: Type) f_abnj. SendInsBy key_abni (State s_abmr) f_abnj => s_abmr -> f_abnj ()
- Data.Effect.State: type LState s_abjc = LiftIns (State s_abjc)
+ Data.Effect.State: type LState s_abmo = LiftIns (State s_abmo)
- Data.Effect.Unlift: withRunInBase :: forall (b_ab2M :: Type -> Type) (a_ab2N :: Type) f_ab2L. SendSig (UnliftBase b_ab2M) f_ab2L => ((forall (x_ab2O :: Type). f_ab2L x_ab2O -> b_ab2M x_ab2O) -> b_ab2M a_ab2N) -> f_ab2L a_ab2N
+ Data.Effect.Unlift: withRunInBase :: forall (b_ab5Y :: Type -> Type) (a_ab5Z :: Type) f_ab5X. SendSig (UnliftBase b_ab5Y) f_ab5X => ((forall (x_ab60 :: Type). f_ab5X x_ab60 -> b_ab5Y x_ab60) -> b_ab5Y a_ab5Z) -> f_ab5X a_ab5Z
- Data.Effect.Unlift: withRunInBase' :: forall tag_ab4c (b_ab2M :: Type -> Type) (a_ab2N :: Type) f_ab2L. SendSig (TagH (UnliftBase b_ab2M) tag_ab4c) f_ab2L => ((forall (x_ab2O :: Type). f_ab2L x_ab2O -> b_ab2M x_ab2O) -> b_ab2M a_ab2N) -> f_ab2L a_ab2N
+ Data.Effect.Unlift: withRunInBase' :: forall tag_ab7o (b_ab5Y :: Type -> Type) (a_ab5Z :: Type) f_ab5X. SendSig (TagH (UnliftBase b_ab5Y) tag_ab7o) f_ab5X => ((forall (x_ab60 :: Type). f_ab5X x_ab60 -> b_ab5Y x_ab60) -> b_ab5Y a_ab5Z) -> f_ab5X a_ab5Z
- Data.Effect.Unlift: withRunInBase'' :: forall key_ab4e (b_ab2M :: Type -> Type) (a_ab2N :: Type) f_ab2L. SendSigBy key_ab4e (UnliftBase b_ab2M) f_ab2L => ((forall (x_ab2O :: Type). f_ab2L x_ab2O -> b_ab2M x_ab2O) -> b_ab2M a_ab2N) -> f_ab2L a_ab2N
+ Data.Effect.Unlift: withRunInBase'' :: forall key_ab7q (b_ab5Y :: Type -> Type) (a_ab5Z :: Type) f_ab5X. SendSigBy key_ab7q (UnliftBase b_ab5Y) f_ab5X => ((forall (x_ab60 :: Type). f_ab5X x_ab60 -> b_ab5Y x_ab60) -> b_ab5Y a_ab5Z) -> f_ab5X a_ab5Z
- Data.Effect.Writer: censor :: forall (w_aaje :: Type) (a_aajg :: Type) f_aajf. SendSig (WriterH w_aaje) f_aajf => (w_aaje -> w_aaje) -> f_aajf a_aajg -> f_aajf a_aajg
+ Data.Effect.Writer: censor :: forall (w_aamq :: Type) (a_aams :: Type) f_aamr. SendSig (WriterH w_aamq) f_aamr => (w_aamq -> w_aamq) -> f_aamr a_aams -> f_aamr a_aams
- Data.Effect.Writer: censor' :: forall tag_aatu (w_aaje :: Type) (a_aajg :: Type) f_aajf. SendSig (TagH (WriterH w_aaje) tag_aatu) f_aajf => (w_aaje -> w_aaje) -> f_aajf a_aajg -> f_aajf a_aajg
+ Data.Effect.Writer: censor' :: forall tag_aawG (w_aamq :: Type) (a_aams :: Type) f_aamr. SendSig (TagH (WriterH w_aamq) tag_aawG) f_aamr => (w_aamq -> w_aamq) -> f_aamr a_aams -> f_aamr a_aams
- Data.Effect.Writer: censor'' :: forall key_aatx (w_aaje :: Type) (a_aajg :: Type) f_aajf. SendSigBy key_aatx (WriterH w_aaje) f_aajf => (w_aaje -> w_aaje) -> f_aajf a_aajg -> f_aajf a_aajg
+ Data.Effect.Writer: censor'' :: forall key_aawJ (w_aamq :: Type) (a_aams :: Type) f_aamr. SendSigBy key_aawJ (WriterH w_aamq) f_aamr => (w_aamq -> w_aamq) -> f_aamr a_aams -> f_aamr a_aams
- Data.Effect.Writer: listen :: forall (a_X0 :: Type) (w_aajd :: Type) f_aajb. SendSig (WriterH w_aajd) f_aajb => f_aajb a_X0 -> f_aajb (w_aajd, a_X0)
+ Data.Effect.Writer: listen :: forall (a_X0 :: Type) (w_aamp :: Type) f_aamn. SendSig (WriterH w_aamp) f_aamn => f_aamn a_X0 -> f_aamn (w_aamp, a_X0)
- Data.Effect.Writer: listen' :: forall tag_aato (a_X0 :: Type) (w_aajd :: Type) f_aajb. SendSig (TagH (WriterH w_aajd) tag_aato) f_aajb => f_aajb a_X0 -> f_aajb (w_aajd, a_X0)
+ Data.Effect.Writer: listen' :: forall tag_aawA (a_X0 :: Type) (w_aamp :: Type) f_aamn. SendSig (TagH (WriterH w_aamp) tag_aawA) f_aamn => f_aamn a_X0 -> f_aamn (w_aamp, a_X0)
- Data.Effect.Writer: listen'' :: forall key_aatq (a_X0 :: Type) (w_aajd :: Type) f_aajb. SendSigBy key_aatq (WriterH w_aajd) f_aajb => f_aajb a_X0 -> f_aajb (w_aajd, a_X0)
+ Data.Effect.Writer: listen'' :: forall key_aawC (a_X0 :: Type) (w_aamp :: Type) f_aamn. SendSigBy key_aawC (WriterH w_aamp) f_aamn => f_aamn a_X0 -> f_aamn (w_aamp, a_X0)
- Data.Effect.Writer: tell :: forall (w_aajj :: Type) f_aat7. SendIns (Tell w_aajj) f_aat7 => w_aajj -> f_aat7 ()
+ Data.Effect.Writer: tell :: forall (w_aamv :: Type) f_aawj. SendIns (Tell w_aamv) f_aawj => w_aamv -> f_aawj ()
- Data.Effect.Writer: tell' :: forall tag_aat9 (w_aajj :: Type) f_aata. SendIns (Tag (Tell w_aajj) tag_aat9) f_aata => w_aajj -> f_aata ()
+ Data.Effect.Writer: tell' :: forall tag_aawl (w_aamv :: Type) f_aawm. SendIns (Tag (Tell w_aamv) tag_aawl) f_aawm => w_aamv -> f_aawm ()
- Data.Effect.Writer: tell'' :: forall key_aatc (w_aajj :: Type) f_aatd. SendInsBy key_aatc (Tell w_aajj) f_aatd => w_aajj -> f_aatd ()
+ Data.Effect.Writer: tell'' :: forall key_aawo (w_aamv :: Type) f_aawp. SendInsBy key_aawo (Tell w_aamv) f_aawp => w_aamv -> f_aawp ()
- Data.Effect.Writer: type LTell w_aajh = LiftIns (Tell w_aajh)
+ Data.Effect.Writer: type LTell w_aamt = LiftIns (Tell w_aamt)
Files
- data-effects.cabal +3/−3
data-effects.cabal view
@@ -1,6 +1,6 @@ cabal-version: 2.4 name: data-effects-version: 0.1.1.0+version: 0.1.2.0 -- A short (one-line) description of the package. synopsis: A basic framework for effect systems based on effects represented by GADTs.@@ -87,10 +87,10 @@ build-depends: base ^>= 4.16.4.0, data-effects-core ^>= 0.1,- data-effects-th ^>= 0.1.1,+ data-effects-th ^>= 0.1.2, these ^>= 1.2, data-default ^>= 0.7.1,- text ^>= 1.2.5,+ text >= 2.0 && < 2.2, lens ^>= 5.2.3, time ^>= 1.11.1,