Skip to content

Instantly share code, notes, and snippets.

@puffnfresh

puffnfresh/7101-1.hi

Created June 3, 2015 20:26
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save puffnfresh/5a841633f0dde81fe7d1 to your computer and use it in GitHub Desktop.
Save puffnfresh/5a841633f0dde81fe7d1 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
7101-1.hi
Magic: Wanted 33214052,
got 33214052
Version: Wanted [7, 1, 0, 1],
got [7, 1, 0, 1]
Way: Wanted [],
got []
interface Test 7101
interface hash: 00b3fc3eed25a059fd2faaebf4ddbb48
ABI hash: c15fbe114cc2cd39039f32bec61aec08
export-list hash: 1f409670b1d03272345203176890f964
orphan hash: 4cc0ba8d20a3bcf1b60b0012782302da
flag hash: b8af1d9ddefc910fc21c9b8770987748
sig of: Nothing
used TH splices: False
where
exports:
EventM{EventM unEventM}
module dependencies:
package dependencies: base-4.8.0.0 ghc-prim-0.4.0.0
integer-gmp-1.0.0.0 transformers-0.4.2.0
orphans: GHC.Base GHC.Float
family instance modules: Control.Applicative Data.Either
Data.Functor.Identity Data.Monoid Data.Type.Equality GHC.Generics
import -/ GHC.Base 863c60f0ab7f851fd8d7f952f99143b1
import -/ Prelude 3bb8abb5a9ad10553c41284b8dee6bef
import -/ GHC.Types 6b27fb3fdbd0e3f0925a4496c66513bb
import -/ Control.Monad.Trans.Reader 6c79c656c3ef551e9d5aeab258767489
33b5a8c7c60000151ff8f6d144acccc8
$fApplicativeEventM :: Applicative EventM
DFunId[0]
{- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE,
Unfolding: DFun:.
@ EventM
$fFunctorEventM
$fApplicativeEventM_$creturn
$fApplicativeEventM_$c<*>
$fApplicativeEventM_$c*>
$fApplicativeEventM_$c<* -}
6cd36ed7aa84c1c852018f35275e521b
$fApplicativeEventM1 ::
ReaderT () IO a
-> ReaderT () IO b
-> ()
-> State# RealWorld
-> (# State# RealWorld, a #)
{- Arity: 4, HasNoCafRefs,
Strictness: <C(C(S)),1*C1(C1(U(U,U)))><L,1*C1(C1(U(U,A)))><L,U><L,U>,
Unfolding: InlineRule (4, True, False)
(\ @ a4
@ b
eta :: ReaderT () IO a4
eta1 :: ReaderT () IO b
eta2 :: ()
eta3 :: State# RealWorld[OneShot] ->
case (eta `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N) eta2)
`cast`
(NTCo:IO[0] <a4>_R)
eta3 of ds { (#,#) ipv ipv1 ->
case (eta1 `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N) eta2)
`cast`
(NTCo:IO[0] <b>_R)
ipv of ds1 { (#,#) ipv2 ipv3 ->
(# ipv2, ipv1 #) } }) -}
f6d62cdda685a582b5af06f321877522
$fApplicativeEventM2 ::
ReaderT () IO a
-> ReaderT () IO b
-> ()
-> State# RealWorld
-> (# State# RealWorld, b #)
{- Arity: 4, HasNoCafRefs,
Strictness: <C(C(S)),1*C1(C1(U(U,A)))><L,1*C1(C1(U(U,U)))><L,U><L,U>,
Unfolding: InlineRule (4, True, False)
(\ @ a4
@ b
eta :: ReaderT () IO a4
eta1 :: ReaderT () IO b
eta2 :: ()
eta3 :: State# RealWorld[OneShot] ->
case (eta `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N) eta2)
`cast`
(NTCo:IO[0] <a4>_R)
eta3 of ds { (#,#) ipv ipv1 ->
(eta1 `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N) eta2)
`cast`
(NTCo:IO[0] <b>_R)
ipv }) -}
67efddaa71e1b58867e092124663e088
$fApplicativeEventM3 ::
ReaderT () IO (a -> b)
-> ReaderT () IO a
-> ()
-> State# RealWorld
-> (# State# RealWorld, b #)
{- Arity: 4, HasNoCafRefs,
Strictness: <C(C(S)),1*C1(C1(U(U,1*C1(U))))><L,1*C1(C1(U(U,U)))><L,U><L,U>,
Unfolding: InlineRule (4, True, False)
(\ @ a4
@ b
f :: ReaderT () IO (a4 -> b)
v :: ReaderT () IO a4
r1 :: ()
s :: State# RealWorld[OneShot] ->
case (f `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <a4 -> b>_N) r1)
`cast`
(NTCo:IO[0] <a4 -> b>_R)
s of ds { (#,#) ipv ipv1 ->
case (v `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N) r1)
`cast`
(NTCo:IO[0] <a4>_R)
ipv of ds1 { (#,#) ipv2 ipv3 ->
(# ipv2, ipv1 ipv3 #) } }) -}
f598cecf7292a2dd56d7c313786e0906
$fApplicativeEventM4 ::
a -> () -> State# RealWorld -> (# State# RealWorld, a #)
{- Arity: 3, HasNoCafRefs, Strictness: <L,U><L,A><L,U>,
Unfolding: InlineRule (3, True, True)
(\ @ a4 eta :: a4 eta1 :: () eta2 :: State# RealWorld[OneShot] ->
(# eta2, eta #)) -}
33b5a8c7c60000151ff8f6d144acccc8
$fApplicativeEventM_$c*> :: EventM a -> EventM b -> EventM b
{- Arity: 4, HasNoCafRefs,
Strictness: <C(C(S)),1*C1(C1(U(U,A)))><L,1*C1(C1(U(U,U)))><L,U><L,U>,
Unfolding: InlineRule (0, True, True)
$fApplicativeEventM2
`cast`
(forall a4 b.
Sym (NTCo:EventM[0]) <a4>_N
->_R Sym (NTCo:EventM[0]) <b>_N
->_R Trans
(<()>_R ->_R Sym (NTCo:IO[0] <b>_R))
(Trans
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N))
(Sym (NTCo:EventM[0]) <b>_N))) -}
33b5a8c7c60000151ff8f6d144acccc8
$fApplicativeEventM_$c<* :: EventM a -> EventM b -> EventM a
{- Arity: 4, HasNoCafRefs,
Strictness: <C(C(S)),1*C1(C1(U(U,U)))><L,1*C1(C1(U(U,A)))><L,U><L,U>,
Unfolding: InlineRule (0, True, True)
$fApplicativeEventM1
`cast`
(forall a4 b.
Sym (NTCo:EventM[0]) <a4>_N
->_R Sym (NTCo:EventM[0]) <b>_N
->_R Trans
(<()>_R ->_R Sym (NTCo:IO[0] <a4>_R))
(Trans
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N))
(Sym (NTCo:EventM[0]) <a4>_N))) -}
33b5a8c7c60000151ff8f6d144acccc8
$fApplicativeEventM_$c<*> ::
EventM (a -> b) -> EventM a -> EventM b
{- Arity: 4, HasNoCafRefs,
Strictness: <C(C(S)),1*C1(C1(U(U,1*C1(U))))><L,1*C1(C1(U(U,U)))><L,U><L,U>,
Unfolding: InlineRule (0, True, True)
$fApplicativeEventM3
`cast`
(forall a4 b.
Sym (NTCo:EventM[0]) <a4 -> b>_N
->_R Sym (NTCo:EventM[0]) <a4>_N
->_R Trans
(<()>_R ->_R Sym (NTCo:IO[0] <b>_R))
(Trans
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N))
(Sym (NTCo:EventM[0]) <b>_N))) -}
33b5a8c7c60000151ff8f6d144acccc8
$fApplicativeEventM_$creturn :: a -> EventM a
{- Arity: 3, HasNoCafRefs, Strictness: <L,U><L,A><L,U>,
Unfolding: InlineRule (0, True, True)
$fApplicativeEventM4
`cast`
(forall a4.
<a4>_R
->_R Trans
(<()>_R ->_R Sym (NTCo:IO[0] <a4>_R))
(Trans
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N))
(Sym (NTCo:EventM[0]) <a4>_N))) -}
33b5a8c7c60000151ff8f6d144acccc8
$fFunctorEventM :: Functor EventM
DFunId[0]
{- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE,
Unfolding: DFun:.
@ EventM $fFunctorEventM_$cfmap $fFunctorEventM_$c<$ -}
340217e8ea56192f6d0e2b7ecf783736
$fFunctorEventM1 ::
a
-> ReaderT () IO b
-> ()
-> State# RealWorld
-> (# State# RealWorld, a #)
{- Arity: 4, HasNoCafRefs,
Strictness: <L,U><C(C(S)),1*C1(C1(U(U,A)))><L,U><L,U>,
Unfolding: InlineRule (4, True, False)
(\ @ a4
@ b
eta :: a4
eta1 :: ReaderT () IO b
eta2 :: ()
eta3 :: State# RealWorld[OneShot] ->
case (eta1 `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N) eta2)
`cast`
(NTCo:IO[0] <b>_R)
eta3 of ds { (#,#) ipv ipv1 ->
(# ipv, eta #) }) -}
f8229b1d7ca252780e17feefb7a6f03c
$fFunctorEventM2 ::
(a -> b)
-> ReaderT () IO a
-> ()
-> State# RealWorld
-> (# State# RealWorld, b #)
{- Arity: 4, HasNoCafRefs,
Strictness: <L,1*C1(U)><C(C(S)),1*C1(C1(U(U,U)))><L,U><L,U>,
Unfolding: InlineRule (4, True, False)
(\ @ a4
@ b
f :: a4 -> b
eta :: ReaderT () IO a4
eta1 :: ()
eta2 :: State# RealWorld[OneShot] ->
case (eta `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N) eta1)
`cast`
(NTCo:IO[0] <a4>_R)
eta2 of ds { (#,#) ipv ipv1 ->
(# ipv, f ipv1 #) }) -}
33b5a8c7c60000151ff8f6d144acccc8
$fFunctorEventM_$c<$ :: a -> EventM b -> EventM a
{- Arity: 4, HasNoCafRefs,
Strictness: <L,U><C(C(S)),1*C1(C1(U(U,A)))><L,U><L,U>,
Unfolding: InlineRule (0, True, True)
$fFunctorEventM1
`cast`
(forall a4 b.
<a4>_R
->_R Sym (NTCo:EventM[0]) <b>_N
->_R Trans
(<()>_R ->_R Sym (NTCo:IO[0] <a4>_R))
(Trans
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N))
(Sym (NTCo:EventM[0]) <a4>_N))) -}
33b5a8c7c60000151ff8f6d144acccc8
$fFunctorEventM_$cfmap :: (a -> b) -> EventM a -> EventM b
{- Arity: 4, HasNoCafRefs,
Strictness: <L,1*C1(U)><C(C(S)),1*C1(C1(U(U,U)))><L,U><L,U>,
Unfolding: InlineRule (0, True, True)
$fFunctorEventM2
`cast`
(forall a4 b.
<a4 -> b>_R
->_R Sym (NTCo:EventM[0]) <a4>_N
->_R Trans
(<()>_R ->_R Sym (NTCo:IO[0] <b>_R))
(Trans
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N))
(Sym (NTCo:EventM[0]) <b>_N))) -}
33b5a8c7c60000151ff8f6d144acccc8
$fMonadEventM :: Monad EventM
DFunId[0]
{- Strictness: m, Inline: [ALWAYS] CONLIKE,
Unfolding: DFun:.
@ EventM
$fApplicativeEventM
$fMonadEventM_$c>>=
$fMonadEventM_$c>>
$fApplicativeEventM_$creturn
$fMonadEventM_$cfail -}
4dfeb0a2ad4ba6e7543b74a13578f688
$fMonadEventM1 ::
String -> () -> State# RealWorld -> (# State# RealWorld, a #)
{- Arity: 3, Strictness: <B,U><B,A><B,U>b,
Unfolding: InlineRule (3, True, True)
(\ @ a4
msg :: String
eta :: ()
eta1 :: State# RealWorld[OneShot] ->
failIO1 @ a4 msg eta1) -}
e484a7336005bb6f76559b23fc2b9a1d
$fMonadEventM2 ::
ReaderT () IO a -> ReaderT () IO b -> ReaderT () IO b
{- Arity: 2,
Unfolding: (\ @ a4 @ b ->
$fMonadReaderT_$c>>
@ ()
@ IO
$fMonadEventM_$s$fApplicativeReaderT
$fMonadIO
@ a4
@ b) -}
b3c5702a6ae314f39570e6bce5a5bc1a
$fMonadEventM3 :: Functor (ReaderT () IO)
{- Strictness: m,
Unfolding: InlineRule (0, True, True)
($fMonadEventM_$s$fFunctorReaderT @ ()) -}
9ddddb011e6d568324020bc1f529833a
$fMonadEventM4 ::
ReaderT () IO a
-> (a -> ReaderT () IO b)
-> ()
-> State# RealWorld
-> (# State# RealWorld, b #)
{- Arity: 4, HasNoCafRefs,
Strictness: <C(C(S)),1*C1(C1(U(U,U)))><L,1*C1(C1(C1(U(U,U))))><L,U><L,U>,
Unfolding: InlineRule (4, True, False)
(\ @ a4
@ b
m1 :: ReaderT () IO a4
k :: a4 -> ReaderT () IO b
r1 :: ()
s :: State# RealWorld[OneShot] ->
case (m1 `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N) r1)
`cast`
(NTCo:IO[0] <a4>_R)
s of ds1 { (#,#) ipv ipv1 ->
((k ipv1) `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N) r1)
`cast`
(NTCo:IO[0] <b>_R)
ipv }) -}
33b5a8c7c60000151ff8f6d144acccc8
$fMonadEventM_$c>> :: EventM a -> EventM b -> EventM b
{- Arity: 2,
Unfolding: InlineRule (0, True, True)
$fMonadEventM2
`cast`
(forall a4 b.
Sym (NTCo:EventM[0]) <a4>_N
->_R Sym (NTCo:EventM[0]) <b>_N
->_R Sym (NTCo:EventM[0]) <b>_N) -}
33b5a8c7c60000151ff8f6d144acccc8
$fMonadEventM_$c>>= :: EventM a -> (a -> EventM b) -> EventM b
{- Arity: 4, HasNoCafRefs,
Strictness: <C(C(S)),1*C1(C1(U(U,U)))><L,1*C1(C1(C1(U(U,U))))><L,U><L,U>,
Unfolding: InlineRule (0, True, True)
$fMonadEventM4
`cast`
(forall a4 b.
Sym (NTCo:EventM[0]) <a4>_N
->_R (<a4>_R ->_R Sym (NTCo:EventM[0]) <b>_N)
->_R Trans
(<()>_R ->_R Sym (NTCo:IO[0] <b>_R))
(Trans
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N))
(Sym (NTCo:EventM[0]) <b>_N))) -}
33b5a8c7c60000151ff8f6d144acccc8
$fMonadEventM_$cfail :: String -> EventM a
{- Arity: 3, Strictness: <B,U><B,A><B,U>b,
Unfolding: InlineRule (0, True, True)
$fMonadEventM1
`cast`
(forall a4.
<[Char]>_R
->_R Trans
(<()>_R ->_R Sym (NTCo:IO[0] <a4>_R))
(Trans
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N))
(Sym (NTCo:EventM[0]) <a4>_N))) -}
e098dbc661c883355d0d8f79021c423d
$fMonadEventM_$s$fApplicativeReaderT :: Applicative (ReaderT () IO)
{- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE,
Unfolding: DFun:.
@ (ReaderT () IO)
$fMonadEventM3
$fMonadEventM_$s$fMonadReaderT_$creturn
($fApplicativeReaderT_$c<*>
@ ()
@ IO
$fMonadEventM3
$fApplicativeIO)
$fMonadEventM_$s$fApplicativeReaderT_$c*>
$fMonadEventM_$s$fApplicativeReaderT_$c<* -}
dc1712610003712aa3f227fac7c01a25
$fMonadEventM_$s$fApplicativeReaderT_$c*> ::
ReaderT () IO a -> ReaderT () IO b -> ReaderT () IO b
{- Arity: 4, HasNoCafRefs,
Strictness: <C(C(S)),1*C1(C1(U(U,A)))><L,1*C1(C1(U(U,U)))><L,U><L,U>,
Unfolding: InlineRule (2, True, False)
(\ @ a4 @ b eta :: ReaderT () IO a4 eta1 :: ReaderT () IO b ->
let {
f :: ReaderT () IO (b -> b)
= $fFunctorReaderT_$c<$
@ ()
@ IO
$fFunctorIO
@ (b -> b)
@ a4
(id @ b)
eta
} in
(\ r1 :: () ->
$fApplicativeIO_$sap
@ b
@ b
(f `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <b -> b>_N) r1)
(eta1 `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N) r1))
`cast`
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N))) -}
ea65b89d576e96d481035bdefb7e5546
$fMonadEventM_$s$fApplicativeReaderT_$c<* ::
ReaderT () IO a -> ReaderT () IO b -> ReaderT () IO a
{- Arity: 4, HasNoCafRefs,
Strictness: <C(C(S)),1*C1(C1(U(U,U)))><L,1*C1(C1(U(U,A)))><L,U><L,U>,
Unfolding: InlineRule (2, True, False)
(\ @ a4
@ b
eta :: ReaderT () IO a4
eta1 :: ReaderT () IO b
eta2 :: ()
eta3 :: State# RealWorld[OneShot] ->
($fApplicativeIO_$sap
@ b
@ a4
(($fMonadEventM_$s$fFunctorReaderT_$cfmap
@ ()
@ a4
@ (b -> a4)
(const @ a4 @ b)
eta)
`cast`
(NTCo:ReaderT[0] <()>_R <IO>_R <b -> a4>_N)
eta2)
(eta1 `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N) eta2))
`cast`
(NTCo:IO[0] <a4>_R)
eta3)
`cast`
(forall a4 b.
<ReaderT () IO a4>_R
->_R <ReaderT () IO b>_R
->_R Trans
(<()>_R ->_R Sym (NTCo:IO[0] <a4>_R))
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N))) -}
f23dd21efcbd1b2993f994a2bac6ffb8
$fMonadEventM_$s$fFunctorReaderT :: Functor (ReaderT r IO)
{- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE,
Unfolding: DFun: @ r.
@ (ReaderT r IO)
($fMonadEventM_$s$fFunctorReaderT_$cfmap @ r)
($fFunctorReaderT_$c<$ @ r @ IO $fFunctorIO) -}
f99e8296d61eab56745c1a1bd0616817
$fMonadEventM_$s$fFunctorReaderT_$cfmap ::
(a -> b) -> ReaderT r IO a -> ReaderT r IO b
{- Arity: 4, HasNoCafRefs,
Strictness: <L,1*C1(U)><C(C(S)),1*C1(C1(U(U,U)))><L,U><L,U>,
Unfolding: InlineRule (1, True, False)
(\ @ r
@ a4
@ b
f :: a4 -> b
m1 :: ReaderT r IO a4
x :: r
eta :: State# RealWorld[OneShot] ->
($fFunctorIO_$cfmap
@ a4
@ b
f
(m1 `cast` (NTCo:ReaderT[0] <r>_R <IO>_R <a4>_N) x))
`cast`
(NTCo:IO[0] <b>_R)
eta)
`cast`
(forall r a4 b.
<a4 -> b>_R
->_R <ReaderT r IO a4>_R
->_R Trans
(<r>_R ->_R Sym (NTCo:IO[0] <b>_R))
(Sym (NTCo:ReaderT[0] <r>_R <IO>_R <b>_N))) -}
93e9142c508ee4667d91c95d6ff92f08
$fMonadEventM_$s$fMonadReaderT_$creturn :: a -> ReaderT () IO a
{- Arity: 3, HasNoCafRefs, Strictness: <L,U><L,A><L,U>,
Unfolding: InlineRule (1, True, True)
(\ @ a4 eta :: a4 eta1 :: () eta2 :: State# RealWorld[OneShot] ->
(returnIO @ a4 eta) `cast` (NTCo:IO[0] <a4>_R) eta2)
`cast`
(forall a4.
<a4>_R
->_R Trans
(<()>_R ->_R Sym (NTCo:IO[0] <a4>_R))
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N))) -}
33b5a8c7c60000151ff8f6d144acccc8
type role EventM nominal
newtype EventM a = EventM {unEventM :: ReaderT () IO a}
2e89aced9db85ac5ae50567c4599fe41
unEventM :: EventM a -> ReaderT () IO a
RecSel EventM
{- Arity: 1, HasNoCafRefs, Strictness: <S,1*U>,
Unfolding: InlineRule (0, True, True)
unEventM1
`cast`
(forall a4. <EventM a4>_R ->_R NTCo:EventM[0] <a4>_N) -}
32c29ea678739678f1d2dceb595c5a45
unEventM1 :: EventM a -> EventM a
{- Arity: 1, HasNoCafRefs, Strictness: <S,1*U>,
Unfolding: InlineRule (1, True, True)
(\ @ a4 ds :: EventM a4 -> ds) -}
instance Applicative [EventM] = $fApplicativeEventM
instance Functor [EventM] = $fFunctorEventM
instance Monad [EventM] = $fMonadEventM
"SPEC/Test $fApplicativeReaderT @ () @ IO" [ALWAYS] forall $dFunctor :: Functor
(ReaderT () IO)
$dApplicative :: Applicative IO
$fApplicativeReaderT @ () @ IO $dFunctor $dApplicative
= $fMonadEventM_$s$fApplicativeReaderT
"SPEC/Test $fApplicativeReaderT_$c*> @ () @ IO" [ALWAYS] forall $dFunctor :: Functor
(ReaderT () IO)
$dApplicative :: Applicative IO
$fApplicativeReaderT_$c*> @ () @ IO $dFunctor $dApplicative
= $fMonadEventM_$s$fApplicativeReaderT_$c*>
"SPEC/Test $fApplicativeReaderT_$c<* @ () @ IO" [ALWAYS] forall $dFunctor :: Functor
(ReaderT () IO)
$dApplicative :: Applicative IO
$fApplicativeReaderT_$c<* @ () @ IO $dFunctor $dApplicative
= $fMonadEventM_$s$fApplicativeReaderT_$c<*
"SPEC/Test $fFunctorReaderT _ @ IO" [ALWAYS] forall @ r
$dFunctor :: Functor IO
$fFunctorReaderT @ r @ IO $dFunctor
= $fMonadEventM_$s$fFunctorReaderT @ r
"SPEC/Test $fFunctorReaderT_$cfmap _ @ IO" [ALWAYS] forall @ r
$dFunctor :: Functor IO
$fFunctorReaderT_$cfmap @ r @ IO $dFunctor
= $fMonadEventM_$s$fFunctorReaderT_$cfmap @ r
"SPEC/Test $fMonadReaderT_$creturn @ () @ IO" [ALWAYS] forall $dApplicative :: Applicative
(ReaderT () IO)
$dMonad :: Monad IO
$fMonadReaderT_$creturn @ () @ IO $dApplicative $dMonad
= $fMonadEventM_$s$fMonadReaderT_$creturn
vectorised variables:
vectorised tycons:
vectorised reused tycons:
parallel variables:
parallel tycons:
trusted: none
require own pkg trusted: False
Raw
7101-2.hi
Magic: Wanted 33214052,
got 33214052
Version: Wanted [7, 1, 0, 1],
got [7, 1, 0, 1]
Way: Wanted [],
got []
interface Test 7101
interface hash: 573c807a9a1592d9debb8cf8f572dbfc
ABI hash: 6f7892d51cccd13207d6c887b44666d1
export-list hash: 619c200a5e5a37b3d9cd0475900eeffb
orphan hash: 48f8f6cdce86a572b0a3ce456212112b
flag hash: b8af1d9ddefc910fc21c9b8770987748
sig of: Nothing
used TH splices: False
where
exports:
EventM{EventM unEventM}
module dependencies:
package dependencies: base-4.8.0.0 ghc-prim-0.4.0.0
integer-gmp-1.0.0.0 transformers-0.4.2.0
orphans: GHC.Base GHC.Float
family instance modules: Control.Applicative Data.Either
Data.Functor.Identity Data.Monoid Data.Type.Equality GHC.Generics
import -/ GHC.Base 863c60f0ab7f851fd8d7f952f99143b1
import -/ Prelude 3bb8abb5a9ad10553c41284b8dee6bef
import -/ GHC.Types 6b27fb3fdbd0e3f0925a4496c66513bb
import -/ Control.Monad.Trans.Reader 6c79c656c3ef551e9d5aeab258767489
a3f37fb1874cd83a42e5356b2f7bb0a5
$fApplicativeEventM :: Applicative EventM
DFunId[0]
{- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE,
Unfolding: DFun:.
@ EventM
$fFunctorEventM
$fApplicativeEventM_$creturn
$fApplicativeEventM_$c<*>
$fApplicativeEventM_$c*>
$fApplicativeEventM_$c<* -}
6cd36ed7aa84c1c852018f35275e521b
$fApplicativeEventM1 ::
ReaderT () IO a
-> ReaderT () IO b
-> ()
-> State# RealWorld
-> (# State# RealWorld, a #)
{- Arity: 4, HasNoCafRefs,
Strictness: <C(C(S)),1*C1(C1(U(U,U)))><L,1*C1(C1(U(U,A)))><L,U><L,U>,
Unfolding: InlineRule (4, True, False)
(\ @ a4
@ b
eta :: ReaderT () IO a4
eta1 :: ReaderT () IO b
eta2 :: ()
eta3 :: State# RealWorld[OneShot] ->
case (eta `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N) eta2)
`cast`
(NTCo:IO[0] <a4>_R)
eta3 of ds { (#,#) ipv ipv1 ->
case (eta1 `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N) eta2)
`cast`
(NTCo:IO[0] <b>_R)
ipv of ds1 { (#,#) ipv2 ipv3 ->
(# ipv2, ipv1 #) } }) -}
f6d62cdda685a582b5af06f321877522
$fApplicativeEventM2 ::
ReaderT () IO a
-> ReaderT () IO b
-> ()
-> State# RealWorld
-> (# State# RealWorld, b #)
{- Arity: 4, HasNoCafRefs,
Strictness: <C(C(S)),1*C1(C1(U(U,A)))><L,1*C1(C1(U(U,U)))><L,U><L,U>,
Unfolding: InlineRule (4, True, False)
(\ @ a4
@ b
eta :: ReaderT () IO a4
eta1 :: ReaderT () IO b
eta2 :: ()
eta3 :: State# RealWorld[OneShot] ->
case (eta `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N) eta2)
`cast`
(NTCo:IO[0] <a4>_R)
eta3 of ds { (#,#) ipv ipv1 ->
(eta1 `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N) eta2)
`cast`
(NTCo:IO[0] <b>_R)
ipv }) -}
67efddaa71e1b58867e092124663e088
$fApplicativeEventM3 ::
ReaderT () IO (a -> b)
-> ReaderT () IO a
-> ()
-> State# RealWorld
-> (# State# RealWorld, b #)
{- Arity: 4, HasNoCafRefs,
Strictness: <C(C(S)),1*C1(C1(U(U,1*C1(U))))><L,1*C1(C1(U(U,U)))><L,U><L,U>,
Unfolding: InlineRule (4, True, False)
(\ @ a4
@ b
f :: ReaderT () IO (a4 -> b)
v :: ReaderT () IO a4
r1 :: ()
s :: State# RealWorld[OneShot] ->
case (f `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <a4 -> b>_N) r1)
`cast`
(NTCo:IO[0] <a4 -> b>_R)
s of ds { (#,#) ipv ipv1 ->
case (v `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N) r1)
`cast`
(NTCo:IO[0] <a4>_R)
ipv of ds1 { (#,#) ipv2 ipv3 ->
(# ipv2, ipv1 ipv3 #) } }) -}
f598cecf7292a2dd56d7c313786e0906
$fApplicativeEventM4 ::
a -> () -> State# RealWorld -> (# State# RealWorld, a #)
{- Arity: 3, HasNoCafRefs, Strictness: <L,U><L,A><L,U>,
Unfolding: InlineRule (3, True, True)
(\ @ a4 eta :: a4 eta1 :: () eta2 :: State# RealWorld[OneShot] ->
(# eta2, eta #)) -}
a3f37fb1874cd83a42e5356b2f7bb0a5
$fApplicativeEventM_$c*> :: EventM a -> EventM b -> EventM b
{- Arity: 4, HasNoCafRefs,
Strictness: <C(C(S)),1*C1(C1(U(U,A)))><L,1*C1(C1(U(U,U)))><L,U><L,U>,
Unfolding: InlineRule (0, True, True)
$fApplicativeEventM2
`cast`
(forall a4 b.
Sym (NTCo:EventM[0]) <a4>_N
->_R Sym (NTCo:EventM[0]) <b>_N
->_R Trans
(<()>_R ->_R Sym (NTCo:IO[0] <b>_R))
(Trans
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N))
(Sym (NTCo:EventM[0]) <b>_N))) -}
a3f37fb1874cd83a42e5356b2f7bb0a5
$fApplicativeEventM_$c<* :: EventM a -> EventM b -> EventM a
{- Arity: 4, HasNoCafRefs,
Strictness: <C(C(S)),1*C1(C1(U(U,U)))><L,1*C1(C1(U(U,A)))><L,U><L,U>,
Unfolding: InlineRule (0, True, True)
$fApplicativeEventM1
`cast`
(forall a4 b.
Sym (NTCo:EventM[0]) <a4>_N
->_R Sym (NTCo:EventM[0]) <b>_N
->_R Trans
(<()>_R ->_R Sym (NTCo:IO[0] <a4>_R))
(Trans
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N))
(Sym (NTCo:EventM[0]) <a4>_N))) -}
a3f37fb1874cd83a42e5356b2f7bb0a5
$fApplicativeEventM_$c<*> ::
EventM (a -> b) -> EventM a -> EventM b
{- Arity: 4, HasNoCafRefs,
Strictness: <C(C(S)),1*C1(C1(U(U,1*C1(U))))><L,1*C1(C1(U(U,U)))><L,U><L,U>,
Unfolding: InlineRule (0, True, True)
$fApplicativeEventM3
`cast`
(forall a4 b.
Sym (NTCo:EventM[0]) <a4 -> b>_N
->_R Sym (NTCo:EventM[0]) <a4>_N
->_R Trans
(<()>_R ->_R Sym (NTCo:IO[0] <b>_R))
(Trans
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N))
(Sym (NTCo:EventM[0]) <b>_N))) -}
a3f37fb1874cd83a42e5356b2f7bb0a5
$fApplicativeEventM_$creturn :: a -> EventM a
{- Arity: 3, HasNoCafRefs, Strictness: <L,U><L,A><L,U>,
Unfolding: InlineRule (0, True, True)
$fApplicativeEventM4
`cast`
(forall a4.
<a4>_R
->_R Trans
(<()>_R ->_R Sym (NTCo:IO[0] <a4>_R))
(Trans
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N))
(Sym (NTCo:EventM[0]) <a4>_N))) -}
a3f37fb1874cd83a42e5356b2f7bb0a5
$fFunctorEventM :: Functor EventM
DFunId[0]
{- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE,
Unfolding: DFun:.
@ EventM $fFunctorEventM_$cfmap $fFunctorEventM_$c<$ -}
340217e8ea56192f6d0e2b7ecf783736
$fFunctorEventM1 ::
a
-> ReaderT () IO b
-> ()
-> State# RealWorld
-> (# State# RealWorld, a #)
{- Arity: 4, HasNoCafRefs,
Strictness: <L,U><C(C(S)),1*C1(C1(U(U,A)))><L,U><L,U>,
Unfolding: InlineRule (4, True, False)
(\ @ a4
@ b
eta :: a4
eta1 :: ReaderT () IO b
eta2 :: ()
eta3 :: State# RealWorld[OneShot] ->
case (eta1 `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N) eta2)
`cast`
(NTCo:IO[0] <b>_R)
eta3 of ds { (#,#) ipv ipv1 ->
(# ipv, eta #) }) -}
f8229b1d7ca252780e17feefb7a6f03c
$fFunctorEventM2 ::
(a -> b)
-> ReaderT () IO a
-> ()
-> State# RealWorld
-> (# State# RealWorld, b #)
{- Arity: 4, HasNoCafRefs,
Strictness: <L,1*C1(U)><C(C(S)),1*C1(C1(U(U,U)))><L,U><L,U>,
Unfolding: InlineRule (4, True, False)
(\ @ a4
@ b
f :: a4 -> b
eta :: ReaderT () IO a4
eta1 :: ()
eta2 :: State# RealWorld[OneShot] ->
case (eta `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N) eta1)
`cast`
(NTCo:IO[0] <a4>_R)
eta2 of ds { (#,#) ipv ipv1 ->
(# ipv, f ipv1 #) }) -}
a3f37fb1874cd83a42e5356b2f7bb0a5
$fFunctorEventM_$c<$ :: a -> EventM b -> EventM a
{- Arity: 4, HasNoCafRefs,
Strictness: <L,U><C(C(S)),1*C1(C1(U(U,A)))><L,U><L,U>,
Unfolding: InlineRule (0, True, True)
$fFunctorEventM1
`cast`
(forall a4 b.
<a4>_R
->_R Sym (NTCo:EventM[0]) <b>_N
->_R Trans
(<()>_R ->_R Sym (NTCo:IO[0] <a4>_R))
(Trans
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N))
(Sym (NTCo:EventM[0]) <a4>_N))) -}
a3f37fb1874cd83a42e5356b2f7bb0a5
$fFunctorEventM_$cfmap :: (a -> b) -> EventM a -> EventM b
{- Arity: 4, HasNoCafRefs,
Strictness: <L,1*C1(U)><C(C(S)),1*C1(C1(U(U,U)))><L,U><L,U>,
Unfolding: InlineRule (0, True, True)
$fFunctorEventM2
`cast`
(forall a4 b.
<a4 -> b>_R
->_R Sym (NTCo:EventM[0]) <a4>_N
->_R Trans
(<()>_R ->_R Sym (NTCo:IO[0] <b>_R))
(Trans
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N))
(Sym (NTCo:EventM[0]) <b>_N))) -}
a3f37fb1874cd83a42e5356b2f7bb0a5
$fMonadEventM :: Monad EventM
DFunId[0]
{- Strictness: m, Inline: [ALWAYS] CONLIKE,
Unfolding: DFun:.
@ EventM
$fApplicativeEventM
$fMonadEventM_$c>>=
$fMonadEventM_$c>>
$fApplicativeEventM_$creturn
$fMonadEventM_$cfail -}
4dfeb0a2ad4ba6e7543b74a13578f688
$fMonadEventM1 ::
String -> () -> State# RealWorld -> (# State# RealWorld, a #)
{- Arity: 3, Strictness: <B,U><B,A><B,U>b,
Unfolding: InlineRule (3, True, True)
(\ @ a4
msg :: String
eta :: ()
eta1 :: State# RealWorld[OneShot] ->
failIO1 @ a4 msg eta1) -}
39204013c6f73ab9f48211e8b87b27aa
$fMonadEventM2 ::
ReaderT () IO a -> ReaderT () IO b -> ReaderT () IO b
{- Arity: 2,
Unfolding: (\ @ a4 @ b ->
$fMonadReaderT_$c>>
@ ()
@ IO
$fMonadEventM_$s$fApplicativeReaderT
$fMonadIO
@ a4
@ b) -}
b3c5702a6ae314f39570e6bce5a5bc1a
$fMonadEventM3 :: Functor (ReaderT () IO)
{- Strictness: m,
Unfolding: InlineRule (0, True, True)
($fMonadEventM_$s$fFunctorReaderT @ ()) -}
9ddddb011e6d568324020bc1f529833a
$fMonadEventM4 ::
ReaderT () IO a
-> (a -> ReaderT () IO b)
-> ()
-> State# RealWorld
-> (# State# RealWorld, b #)
{- Arity: 4, HasNoCafRefs,
Strictness: <C(C(S)),1*C1(C1(U(U,U)))><L,1*C1(C1(C1(U(U,U))))><L,U><L,U>,
Unfolding: InlineRule (4, True, False)
(\ @ a4
@ b
m1 :: ReaderT () IO a4
k :: a4 -> ReaderT () IO b
r1 :: ()
s :: State# RealWorld[OneShot] ->
case (m1 `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N) r1)
`cast`
(NTCo:IO[0] <a4>_R)
s of ds1 { (#,#) ipv ipv1 ->
((k ipv1) `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N) r1)
`cast`
(NTCo:IO[0] <b>_R)
ipv }) -}
a3f37fb1874cd83a42e5356b2f7bb0a5
$fMonadEventM_$c>> :: EventM a -> EventM b -> EventM b
{- Arity: 2,
Unfolding: InlineRule (0, True, True)
$fMonadEventM2
`cast`
(forall a4 b.
Sym (NTCo:EventM[0]) <a4>_N
->_R Sym (NTCo:EventM[0]) <b>_N
->_R Sym (NTCo:EventM[0]) <b>_N) -}
a3f37fb1874cd83a42e5356b2f7bb0a5
$fMonadEventM_$c>>= :: EventM a -> (a -> EventM b) -> EventM b
{- Arity: 4, HasNoCafRefs,
Strictness: <C(C(S)),1*C1(C1(U(U,U)))><L,1*C1(C1(C1(U(U,U))))><L,U><L,U>,
Unfolding: InlineRule (0, True, True)
$fMonadEventM4
`cast`
(forall a4 b.
Sym (NTCo:EventM[0]) <a4>_N
->_R (<a4>_R ->_R Sym (NTCo:EventM[0]) <b>_N)
->_R Trans
(<()>_R ->_R Sym (NTCo:IO[0] <b>_R))
(Trans
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N))
(Sym (NTCo:EventM[0]) <b>_N))) -}
a3f37fb1874cd83a42e5356b2f7bb0a5
$fMonadEventM_$cfail :: String -> EventM a
{- Arity: 3, Strictness: <B,U><B,A><B,U>b,
Unfolding: InlineRule (0, True, True)
$fMonadEventM1
`cast`
(forall a4.
<[Char]>_R
->_R Trans
(<()>_R ->_R Sym (NTCo:IO[0] <a4>_R))
(Trans
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N))
(Sym (NTCo:EventM[0]) <a4>_N))) -}
34139ecb9c6a8f4e854791c0b392f7f9
$fMonadEventM_$s$fApplicativeReaderT :: Applicative (ReaderT () IO)
{- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE,
Unfolding: DFun:.
@ (ReaderT () IO)
$fMonadEventM3
$fMonadEventM_$s$fApplicativeReaderT_$cpure
($fApplicativeReaderT_$c<*>
@ ()
@ IO
$fMonadEventM3
$fApplicativeIO)
$fMonadEventM_$s$fApplicativeReaderT_$c*>
$fMonadEventM_$s$fApplicativeReaderT_$c<* -}
dc1712610003712aa3f227fac7c01a25
$fMonadEventM_$s$fApplicativeReaderT_$c*> ::
ReaderT () IO a -> ReaderT () IO b -> ReaderT () IO b
{- Arity: 4, HasNoCafRefs,
Strictness: <C(C(S)),1*C1(C1(U(U,A)))><L,1*C1(C1(U(U,U)))><L,U><L,U>,
Unfolding: InlineRule (2, True, False)
(\ @ a4 @ b eta :: ReaderT () IO a4 eta1 :: ReaderT () IO b ->
let {
f :: ReaderT () IO (b -> b)
= $fFunctorReaderT_$c<$
@ ()
@ IO
$fFunctorIO
@ (b -> b)
@ a4
(id @ b)
eta
} in
(\ r1 :: () ->
$fApplicativeIO_$sap
@ b
@ b
(f `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <b -> b>_N) r1)
(eta1 `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N) r1))
`cast`
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N))) -}
ea65b89d576e96d481035bdefb7e5546
$fMonadEventM_$s$fApplicativeReaderT_$c<* ::
ReaderT () IO a -> ReaderT () IO b -> ReaderT () IO a
{- Arity: 4, HasNoCafRefs,
Strictness: <C(C(S)),1*C1(C1(U(U,U)))><L,1*C1(C1(U(U,A)))><L,U><L,U>,
Unfolding: InlineRule (2, True, False)
(\ @ a4
@ b
eta :: ReaderT () IO a4
eta1 :: ReaderT () IO b
eta2 :: ()
eta3 :: State# RealWorld[OneShot] ->
($fApplicativeIO_$sap
@ b
@ a4
(($fMonadEventM_$s$fFunctorReaderT_$cfmap
@ ()
@ a4
@ (b -> a4)
(const @ a4 @ b)
eta)
`cast`
(NTCo:ReaderT[0] <()>_R <IO>_R <b -> a4>_N)
eta2)
(eta1 `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N) eta2))
`cast`
(NTCo:IO[0] <a4>_R)
eta3)
`cast`
(forall a4 b.
<ReaderT () IO a4>_R
->_R <ReaderT () IO b>_R
->_R Trans
(<()>_R ->_R Sym (NTCo:IO[0] <a4>_R))
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N))) -}
2c8449b3fd911b93de9f00e35ca5f92c
$fMonadEventM_$s$fApplicativeReaderT_$cpure :: a -> ReaderT () IO a
{- Arity: 3, HasNoCafRefs, Strictness: <L,U><L,A><L,U>,
Unfolding: InlineRule (1, True, True)
(\ @ a4 eta :: a4 eta1 :: () eta2 :: State# RealWorld[OneShot] ->
(returnIO @ a4 eta) `cast` (NTCo:IO[0] <a4>_R) eta2)
`cast`
(forall a4.
<a4>_R
->_R Trans
(<()>_R ->_R Sym (NTCo:IO[0] <a4>_R))
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N))) -}
f23dd21efcbd1b2993f994a2bac6ffb8
$fMonadEventM_$s$fFunctorReaderT :: Functor (ReaderT r IO)
{- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE,
Unfolding: DFun: @ r.
@ (ReaderT r IO)
($fMonadEventM_$s$fFunctorReaderT_$cfmap @ r)
($fFunctorReaderT_$c<$ @ r @ IO $fFunctorIO) -}
f99e8296d61eab56745c1a1bd0616817
$fMonadEventM_$s$fFunctorReaderT_$cfmap ::
(a -> b) -> ReaderT r IO a -> ReaderT r IO b
{- Arity: 4, HasNoCafRefs,
Strictness: <L,1*C1(U)><C(C(S)),1*C1(C1(U(U,U)))><L,U><L,U>,
Unfolding: InlineRule (1, True, False)
(\ @ r
@ a4
@ b
f :: a4 -> b
m1 :: ReaderT r IO a4
x :: r
eta :: State# RealWorld[OneShot] ->
($fFunctorIO_$cfmap
@ a4
@ b
f
(m1 `cast` (NTCo:ReaderT[0] <r>_R <IO>_R <a4>_N) x))
`cast`
(NTCo:IO[0] <b>_R)
eta)
`cast`
(forall r a4 b.
<a4 -> b>_R
->_R <ReaderT r IO a4>_R
->_R Trans
(<r>_R ->_R Sym (NTCo:IO[0] <b>_R))
(Sym (NTCo:ReaderT[0] <r>_R <IO>_R <b>_N))) -}
a3f37fb1874cd83a42e5356b2f7bb0a5
type role EventM nominal
newtype EventM a = EventM {unEventM :: ReaderT () IO a}
c189217a907b364077f0a1be53eec688
unEventM :: EventM a -> ReaderT () IO a
RecSel EventM
{- Arity: 1, HasNoCafRefs, Strictness: <S,1*U>,
Unfolding: InlineRule (0, True, True)
unEventM1
`cast`
(forall a4. <EventM a4>_R ->_R NTCo:EventM[0] <a4>_N) -}
89f7ca68b509711e6937fe86d4a1f495
unEventM1 :: EventM a -> EventM a
{- Arity: 1, HasNoCafRefs, Strictness: <S,1*U>,
Unfolding: InlineRule (1, True, True)
(\ @ a4 ds :: EventM a4 -> ds) -}
instance Applicative [EventM] = $fApplicativeEventM
instance Functor [EventM] = $fFunctorEventM
instance Monad [EventM] = $fMonadEventM
"SPEC/Test $fApplicativeReaderT @ () @ IO" [ALWAYS] forall $dFunctor :: Functor
(ReaderT () IO)
$dApplicative :: Applicative IO
$fApplicativeReaderT @ () @ IO $dFunctor $dApplicative
= $fMonadEventM_$s$fApplicativeReaderT
"SPEC/Test $fApplicativeReaderT_$c*> @ () @ IO" [ALWAYS] forall $dFunctor :: Functor
(ReaderT () IO)
$dApplicative :: Applicative IO
$fApplicativeReaderT_$c*> @ () @ IO $dFunctor $dApplicative
= $fMonadEventM_$s$fApplicativeReaderT_$c*>
"SPEC/Test $fApplicativeReaderT_$c<* @ () @ IO" [ALWAYS] forall $dFunctor :: Functor
(ReaderT () IO)
$dApplicative :: Applicative IO
$fApplicativeReaderT_$c<* @ () @ IO $dFunctor $dApplicative
= $fMonadEventM_$s$fApplicativeReaderT_$c<*
"SPEC/Test $fApplicativeReaderT_$cpure @ () @ IO" [ALWAYS] forall $dFunctor :: Functor
(ReaderT () IO)
$dApplicative :: Applicative IO
$fApplicativeReaderT_$cpure @ () @ IO $dFunctor $dApplicative
= $fMonadEventM_$s$fApplicativeReaderT_$cpure
"SPEC/Test $fFunctorReaderT _ @ IO" [ALWAYS] forall @ r
$dFunctor :: Functor IO
$fFunctorReaderT @ r @ IO $dFunctor
= $fMonadEventM_$s$fFunctorReaderT @ r
"SPEC/Test $fFunctorReaderT_$cfmap _ @ IO" [ALWAYS] forall @ r
$dFunctor :: Functor IO
$fFunctorReaderT_$cfmap @ r @ IO $dFunctor
= $fMonadEventM_$s$fFunctorReaderT_$cfmap @ r
vectorised variables:
vectorised tycons:
vectorised reused tycons:
parallel variables:
parallel tycons:
trusted: none
require own pkg trusted: False
Raw
HEAD-1.hi
Magic: Wanted 33214052,
got 33214052
Version: Wanted [7, 1, 1, 2, 0, 1, 5, 0, 6, 0, 1],
got [7, 1, 1, 2, 0, 1, 5, 0, 6, 0, 1]
Way: Wanted [],
got []
interface Test 71120150601
interface hash: 739325e161fc7a87a26ca5fbb66118bf
ABI hash: 998b26216d33d3e9ce7c248e551233d8
export-list hash: 3775a1a465f73bba92c83bed351d0135
orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e
flag hash: b8af1d9ddefc910fc21c9b8770987748
sig of: Nothing
used TH splices: False
where
exports:
EventM{EventM unEventM}
module dependencies:
package dependencies: base-4.8.2.0 ghc-prim-0.4.0.0
integer-gmp-1.0.0.0 transformers-0.4.2.0
orphans: GHC.Base GHC.Float
family instance modules: Control.Applicative Data.Either
Data.Functor.Identity Data.Monoid Data.Type.Equality Data.Version
GHC.Generics GHC.IO.Exception
import -/ GHC.Base 845aeebf27d3d0f2ab55e344507a1b23
import -/ Prelude 140d51b9dec814f3ec401f1d886334c9
import -/ GHC.Types 151b241eeb899b8ac0b176212c95831d
import -/ Control.Monad.Trans.Reader 4d96ec41ca37fedbe7ce83ab43f67332
ea61d2e860ede7f1fccfd0b438663c31
$fApplicativeEventM :: Applicative EventM
DFunId
{- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE,
Unfolding: DFun:.
@ EventM
$fFunctorEventM
$fApplicativeEventM_$creturn
$fApplicativeEventM_$c<*>
$fApplicativeEventM_$c*>
$fApplicativeEventM_$c<* -}
3495ba71518d4c7da5dfc8c7df4366c6
$fApplicativeEventM1 ::
ReaderT () IO a
-> ReaderT () IO b
-> ()
-> State# RealWorld
-> (# State# RealWorld, a #)
{- Arity: 4, HasNoCafRefs,
Strictness: <C(C(S)),1*C1(C1(U(U,U)))><L,1*C1(C1(U(U,A)))><L,U><L,U>,
Unfolding: InlineRule (4, True, False)
(\ @ a4
@ b
eta :: ReaderT () IO a4
eta1 :: ReaderT () IO b
eta2 :: ()
eta3 :: State# RealWorld[OneShot] ->
case (eta `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N) eta2)
`cast`
(NTCo:IO[0] <a4>_R)
eta3 of ds { (#,#) ipv ipv1 ->
case (eta1 `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N) eta2)
`cast`
(NTCo:IO[0] <b>_R)
ipv of ds1 { (#,#) ipv2 ipv3 ->
(# ipv2, ipv1 #) } }) -}
e3189b247707205a9a3c56682d007b7e
$fApplicativeEventM2 ::
ReaderT () IO a
-> ReaderT () IO b
-> ()
-> State# RealWorld
-> (# State# RealWorld, b #)
{- Arity: 4, HasNoCafRefs,
Strictness: <C(C(S)),1*C1(C1(U(U,A)))><L,1*C1(C1(U(U,U)))><L,U><L,U>,
Unfolding: InlineRule (4, True, False)
(\ @ a4
@ b
eta :: ReaderT () IO a4
eta1 :: ReaderT () IO b
eta2 :: ()
eta3 :: State# RealWorld[OneShot] ->
case (eta `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N) eta2)
`cast`
(NTCo:IO[0] <a4>_R)
eta3 of ds { (#,#) ipv ipv1 ->
(eta1 `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N) eta2)
`cast`
(NTCo:IO[0] <b>_R)
ipv }) -}
2b06119a152bc679365a3142e34bf061
$fApplicativeEventM3 ::
ReaderT () IO (a -> b)
-> ReaderT () IO a
-> ()
-> State# RealWorld
-> (# State# RealWorld, b #)
{- Arity: 4, HasNoCafRefs,
Strictness: <C(C(S)),1*C1(C1(U(U,1*C1(U))))><L,1*C1(C1(U(U,U)))><L,U><L,U>,
Unfolding: InlineRule (4, True, False)
(\ @ a4
@ b
f :: ReaderT () IO (a4 -> b)
v :: ReaderT () IO a4
r1 :: ()
s :: State# RealWorld[OneShot] ->
case (f `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <a4 -> b>_N) r1)
`cast`
(NTCo:IO[0] <a4 -> b>_R)
s of ds { (#,#) ipv ipv1 ->
case (v `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N) r1)
`cast`
(NTCo:IO[0] <a4>_R)
ipv of ds1 { (#,#) ipv2 ipv3 ->
(# ipv2, ipv1 ipv3 #) } }) -}
3aa996ae750804b105ba9156923f9954
$fApplicativeEventM4 ::
a -> () -> State# RealWorld -> (# State# RealWorld, a #)
{- Arity: 3, HasNoCafRefs, Strictness: <L,U><L,A><L,U>,
Unfolding: InlineRule (3, True, True)
(\ @ a4 eta :: a4 eta1 :: () eta2 :: State# RealWorld[OneShot] ->
(# eta2, eta #)) -}
ea61d2e860ede7f1fccfd0b438663c31
$fApplicativeEventM_$c*> :: EventM a -> EventM b -> EventM b
{- Arity: 4, HasNoCafRefs,
Strictness: <C(C(S)),1*C1(C1(U(U,A)))><L,1*C1(C1(U(U,U)))><L,U><L,U>,
Unfolding: InlineRule (0, True, True)
$fApplicativeEventM2
`cast`
(forall a4 b.
Sym (NTCo:EventM[0]) <a4>_N
->_R Sym (NTCo:EventM[0]) <b>_N
->_R Trans
(<()>_R ->_R Sym (NTCo:IO[0] <b>_R))
(Trans
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N))
(Sym (NTCo:EventM[0]) <b>_N))) -}
ea61d2e860ede7f1fccfd0b438663c31
$fApplicativeEventM_$c<* :: EventM a -> EventM b -> EventM a
{- Arity: 4, HasNoCafRefs,
Strictness: <C(C(S)),1*C1(C1(U(U,U)))><L,1*C1(C1(U(U,A)))><L,U><L,U>,
Unfolding: InlineRule (0, True, True)
$fApplicativeEventM1
`cast`
(forall a4 b.
Sym (NTCo:EventM[0]) <a4>_N
->_R Sym (NTCo:EventM[0]) <b>_N
->_R Trans
(<()>_R ->_R Sym (NTCo:IO[0] <a4>_R))
(Trans
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N))
(Sym (NTCo:EventM[0]) <a4>_N))) -}
ea61d2e860ede7f1fccfd0b438663c31
$fApplicativeEventM_$c<*> ::
EventM (a -> b) -> EventM a -> EventM b
{- Arity: 4, HasNoCafRefs,
Strictness: <C(C(S)),1*C1(C1(U(U,1*C1(U))))><L,1*C1(C1(U(U,U)))><L,U><L,U>,
Unfolding: InlineRule (0, True, True)
$fApplicativeEventM3
`cast`
(forall a4 b.
Sym (NTCo:EventM[0]) <a4 -> b>_N
->_R Sym (NTCo:EventM[0]) <a4>_N
->_R Trans
(<()>_R ->_R Sym (NTCo:IO[0] <b>_R))
(Trans
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N))
(Sym (NTCo:EventM[0]) <b>_N))) -}
ea61d2e860ede7f1fccfd0b438663c31
$fApplicativeEventM_$creturn :: a -> EventM a
{- Arity: 3, HasNoCafRefs, Strictness: <L,U><L,A><L,U>,
Unfolding: InlineRule (0, True, True)
$fApplicativeEventM4
`cast`
(forall a4.
<a4>_R
->_R Trans
(<()>_R ->_R Sym (NTCo:IO[0] <a4>_R))
(Trans
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N))
(Sym (NTCo:EventM[0]) <a4>_N))) -}
ea61d2e860ede7f1fccfd0b438663c31
$fFunctorEventM :: Functor EventM
DFunId
{- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE,
Unfolding: DFun:.
@ EventM $fFunctorEventM_$cfmap $fFunctorEventM_$c<$ -}
44b5ddf6397582fdad72a5f52d31defb
$fFunctorEventM1 ::
a
-> ReaderT () IO b
-> ()
-> State# RealWorld
-> (# State# RealWorld, a #)
{- Arity: 4, HasNoCafRefs,
Strictness: <L,U><C(C(S)),1*C1(C1(U(U,A)))><L,U><L,U>,
Unfolding: InlineRule (4, True, False)
(\ @ a4
@ b
eta :: a4
eta1 :: ReaderT () IO b
eta2 :: ()
eta3 :: State# RealWorld[OneShot] ->
case (eta1 `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N) eta2)
`cast`
(NTCo:IO[0] <b>_R)
eta3 of ds { (#,#) ipv ipv1 ->
(# ipv, eta #) }) -}
08148c060936e2b5cceb50d747ccd89f
$fFunctorEventM2 ::
(a -> b)
-> ReaderT () IO a
-> ()
-> State# RealWorld
-> (# State# RealWorld, b #)
{- Arity: 4, HasNoCafRefs,
Strictness: <L,1*C1(U)><C(C(S)),1*C1(C1(U(U,U)))><L,U><L,U>,
Unfolding: InlineRule (4, True, False)
(\ @ a4
@ b
f :: a4 -> b
eta :: ReaderT () IO a4
eta1 :: ()
eta2 :: State# RealWorld[OneShot] ->
case (eta `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N) eta1)
`cast`
(NTCo:IO[0] <a4>_R)
eta2 of ds { (#,#) ipv ipv1 ->
(# ipv, f ipv1 #) }) -}
ea61d2e860ede7f1fccfd0b438663c31
$fFunctorEventM_$c<$ :: a -> EventM b -> EventM a
{- Arity: 4, HasNoCafRefs,
Strictness: <L,U><C(C(S)),1*C1(C1(U(U,A)))><L,U><L,U>,
Unfolding: InlineRule (0, True, True)
$fFunctorEventM1
`cast`
(forall a4 b.
<a4>_R
->_R Sym (NTCo:EventM[0]) <b>_N
->_R Trans
(<()>_R ->_R Sym (NTCo:IO[0] <a4>_R))
(Trans
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N))
(Sym (NTCo:EventM[0]) <a4>_N))) -}
ea61d2e860ede7f1fccfd0b438663c31
$fFunctorEventM_$cfmap :: (a -> b) -> EventM a -> EventM b
{- Arity: 4, HasNoCafRefs,
Strictness: <L,1*C1(U)><C(C(S)),1*C1(C1(U(U,U)))><L,U><L,U>,
Unfolding: InlineRule (0, True, True)
$fFunctorEventM2
`cast`
(forall a4 b.
<a4 -> b>_R
->_R Sym (NTCo:EventM[0]) <a4>_N
->_R Trans
(<()>_R ->_R Sym (NTCo:IO[0] <b>_R))
(Trans
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N))
(Sym (NTCo:EventM[0]) <b>_N))) -}
ea61d2e860ede7f1fccfd0b438663c31
$fMonadEventM :: Monad EventM
DFunId
{- Strictness: m, Inline: [ALWAYS] CONLIKE,
Unfolding: DFun:.
@ EventM
$fApplicativeEventM
$fMonadEventM_$c>>=
$fMonadEventM_$c>>
$fApplicativeEventM_$creturn
$fMonadEventM_$cfail -}
ca90c0d1e87eeac7619745e5f0a62edf
$fMonadEventM1 ::
String -> () -> State# RealWorld -> (# State# RealWorld, a #)
{- Arity: 3, Strictness: <B,U><B,A><B,U>b,
Unfolding: InlineRule (3, True, True)
(\ @ a4
msg :: String
eta :: ()
eta1 :: State# RealWorld[OneShot] ->
failIO1 @ a4 msg eta1) -}
6919d7ca8297d7b65212aa300d524baf
$fMonadEventM2 ::
ReaderT () IO a -> ReaderT () IO b -> ReaderT () IO b
{- Arity: 2,
Unfolding: (\ @ a4 @ b ->
$fMonadReaderT_$c>> @ () @ IO $fMonadIO @ a4 @ b) -}
d4e86f5ce21be2d3b6b32045f2fc0ec1
$fMonadEventM3 ::
ReaderT () IO a
-> (a -> ReaderT () IO b)
-> ()
-> State# RealWorld
-> (# State# RealWorld, b #)
{- Arity: 4, HasNoCafRefs,
Strictness: <C(C(S)),1*C1(C1(U(U,U)))><L,1*C1(C1(C1(U(U,U))))><L,U><L,U>,
Unfolding: InlineRule (4, True, False)
(\ @ a4
@ b
m1 :: ReaderT () IO a4
k :: a4 -> ReaderT () IO b
r1 :: ()
s :: State# RealWorld[OneShot] ->
case (m1 `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N) r1)
`cast`
(NTCo:IO[0] <a4>_R)
s of ds1 { (#,#) ipv ipv1 ->
((k ipv1) `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N) r1)
`cast`
(NTCo:IO[0] <b>_R)
ipv }) -}
ea61d2e860ede7f1fccfd0b438663c31
$fMonadEventM_$c>> :: EventM a -> EventM b -> EventM b
{- Arity: 2,
Unfolding: InlineRule (0, True, True)
$fMonadEventM2
`cast`
(forall a4 b.
Sym (NTCo:EventM[0]) <a4>_N
->_R Sym (NTCo:EventM[0]) <b>_N
->_R Sym (NTCo:EventM[0]) <b>_N) -}
ea61d2e860ede7f1fccfd0b438663c31
$fMonadEventM_$c>>= :: EventM a -> (a -> EventM b) -> EventM b
{- Arity: 4, HasNoCafRefs,
Strictness: <C(C(S)),1*C1(C1(U(U,U)))><L,1*C1(C1(C1(U(U,U))))><L,U><L,U>,
Unfolding: InlineRule (0, True, True)
$fMonadEventM3
`cast`
(forall a4 b.
Sym (NTCo:EventM[0]) <a4>_N
->_R (<a4>_R ->_R Sym (NTCo:EventM[0]) <b>_N)
->_R Trans
(<()>_R ->_R Sym (NTCo:IO[0] <b>_R))
(Trans
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N))
(Sym (NTCo:EventM[0]) <b>_N))) -}
ea61d2e860ede7f1fccfd0b438663c31
$fMonadEventM_$cfail :: String -> EventM a
{- Arity: 3, Strictness: <B,U><B,A><B,U>b,
Unfolding: InlineRule (0, True, True)
$fMonadEventM1
`cast`
(forall a4.
<[Char]>_R
->_R Trans
(<()>_R ->_R Sym (NTCo:IO[0] <a4>_R))
(Trans
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N))
(Sym (NTCo:EventM[0]) <a4>_N))) -}
ea61d2e860ede7f1fccfd0b438663c31
type role EventM nominal
newtype EventM a = EventM {unEventM :: ReaderT () IO a}
da534847d9ed9957f2f394b5989f8ced
unEventM :: EventM a -> ReaderT () IO a
RecSel EventM
{- Arity: 1, HasNoCafRefs, Strictness: <S,1*U>,
Unfolding: InlineRule (0, True, True)
unEventM1
`cast`
(forall a4. <EventM a4>_R ->_R NTCo:EventM[0] <a4>_N) -}
71ce58c5e749279d1737b8cbf963dbe5
unEventM1 :: EventM a -> EventM a
{- Arity: 1, HasNoCafRefs, Strictness: <S,1*U>,
Unfolding: InlineRule (1, True, True)
(\ @ a4 ds :: EventM a4 -> ds) -}
instance Applicative [EventM] = $fApplicativeEventM
instance Functor [EventM] = $fFunctorEventM
instance Monad [EventM] = $fMonadEventM
vectorised variables:
vectorised tycons:
vectorised reused tycons:
parallel variables:
parallel tycons:
trusted: none
require own pkg trusted: False
Raw
HEAD-2.hi
Magic: Wanted 33214052,
got 33214052
Version: Wanted [7, 1, 1, 2, 0, 1, 5, 0, 6, 0, 1],
got [7, 1, 1, 2, 0, 1, 5, 0, 6, 0, 1]
Way: Wanted [],
got []
interface Test 71120150601
interface hash: 739325e161fc7a87a26ca5fbb66118bf
ABI hash: 998b26216d33d3e9ce7c248e551233d8
export-list hash: 3775a1a465f73bba92c83bed351d0135
orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e
flag hash: b8af1d9ddefc910fc21c9b8770987748
sig of: Nothing
used TH splices: False
where
exports:
EventM{EventM unEventM}
module dependencies:
package dependencies: base-4.8.2.0 ghc-prim-0.4.0.0
integer-gmp-1.0.0.0 transformers-0.4.2.0
orphans: GHC.Base GHC.Float
family instance modules: Control.Applicative Data.Either
Data.Functor.Identity Data.Monoid Data.Type.Equality Data.Version
GHC.Generics GHC.IO.Exception
import -/ GHC.Base 845aeebf27d3d0f2ab55e344507a1b23
import -/ Prelude 140d51b9dec814f3ec401f1d886334c9
import -/ GHC.Types 151b241eeb899b8ac0b176212c95831d
import -/ Control.Monad.Trans.Reader 4d96ec41ca37fedbe7ce83ab43f67332
ea61d2e860ede7f1fccfd0b438663c31
$fApplicativeEventM :: Applicative EventM
DFunId
{- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE,
Unfolding: DFun:.
@ EventM
$fFunctorEventM
$fApplicativeEventM_$creturn
$fApplicativeEventM_$c<*>
$fApplicativeEventM_$c*>
$fApplicativeEventM_$c<* -}
3495ba71518d4c7da5dfc8c7df4366c6
$fApplicativeEventM1 ::
ReaderT () IO a
-> ReaderT () IO b
-> ()
-> State# RealWorld
-> (# State# RealWorld, a #)
{- Arity: 4, HasNoCafRefs,
Strictness: <C(C(S)),1*C1(C1(U(U,U)))><L,1*C1(C1(U(U,A)))><L,U><L,U>,
Unfolding: InlineRule (4, True, False)
(\ @ a4
@ b
eta :: ReaderT () IO a4
eta1 :: ReaderT () IO b
eta2 :: ()
eta3 :: State# RealWorld[OneShot] ->
case (eta `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N) eta2)
`cast`
(NTCo:IO[0] <a4>_R)
eta3 of ds { (#,#) ipv ipv1 ->
case (eta1 `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N) eta2)
`cast`
(NTCo:IO[0] <b>_R)
ipv of ds1 { (#,#) ipv2 ipv3 ->
(# ipv2, ipv1 #) } }) -}
e3189b247707205a9a3c56682d007b7e
$fApplicativeEventM2 ::
ReaderT () IO a
-> ReaderT () IO b
-> ()
-> State# RealWorld
-> (# State# RealWorld, b #)
{- Arity: 4, HasNoCafRefs,
Strictness: <C(C(S)),1*C1(C1(U(U,A)))><L,1*C1(C1(U(U,U)))><L,U><L,U>,
Unfolding: InlineRule (4, True, False)
(\ @ a4
@ b
eta :: ReaderT () IO a4
eta1 :: ReaderT () IO b
eta2 :: ()
eta3 :: State# RealWorld[OneShot] ->
case (eta `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N) eta2)
`cast`
(NTCo:IO[0] <a4>_R)
eta3 of ds { (#,#) ipv ipv1 ->
(eta1 `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N) eta2)
`cast`
(NTCo:IO[0] <b>_R)
ipv }) -}
2b06119a152bc679365a3142e34bf061
$fApplicativeEventM3 ::
ReaderT () IO (a -> b)
-> ReaderT () IO a
-> ()
-> State# RealWorld
-> (# State# RealWorld, b #)
{- Arity: 4, HasNoCafRefs,
Strictness: <C(C(S)),1*C1(C1(U(U,1*C1(U))))><L,1*C1(C1(U(U,U)))><L,U><L,U>,
Unfolding: InlineRule (4, True, False)
(\ @ a4
@ b
f :: ReaderT () IO (a4 -> b)
v :: ReaderT () IO a4
r1 :: ()
s :: State# RealWorld[OneShot] ->
case (f `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <a4 -> b>_N) r1)
`cast`
(NTCo:IO[0] <a4 -> b>_R)
s of ds { (#,#) ipv ipv1 ->
case (v `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N) r1)
`cast`
(NTCo:IO[0] <a4>_R)
ipv of ds1 { (#,#) ipv2 ipv3 ->
(# ipv2, ipv1 ipv3 #) } }) -}
3aa996ae750804b105ba9156923f9954
$fApplicativeEventM4 ::
a -> () -> State# RealWorld -> (# State# RealWorld, a #)
{- Arity: 3, HasNoCafRefs, Strictness: <L,U><L,A><L,U>,
Unfolding: InlineRule (3, True, True)
(\ @ a4 eta :: a4 eta1 :: () eta2 :: State# RealWorld[OneShot] ->
(# eta2, eta #)) -}
ea61d2e860ede7f1fccfd0b438663c31
$fApplicativeEventM_$c*> :: EventM a -> EventM b -> EventM b
{- Arity: 4, HasNoCafRefs,
Strictness: <C(C(S)),1*C1(C1(U(U,A)))><L,1*C1(C1(U(U,U)))><L,U><L,U>,
Unfolding: InlineRule (0, True, True)
$fApplicativeEventM2
`cast`
(forall a4 b.
Sym (NTCo:EventM[0]) <a4>_N
->_R Sym (NTCo:EventM[0]) <b>_N
->_R Trans
(<()>_R ->_R Sym (NTCo:IO[0] <b>_R))
(Trans
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N))
(Sym (NTCo:EventM[0]) <b>_N))) -}
ea61d2e860ede7f1fccfd0b438663c31
$fApplicativeEventM_$c<* :: EventM a -> EventM b -> EventM a
{- Arity: 4, HasNoCafRefs,
Strictness: <C(C(S)),1*C1(C1(U(U,U)))><L,1*C1(C1(U(U,A)))><L,U><L,U>,
Unfolding: InlineRule (0, True, True)
$fApplicativeEventM1
`cast`
(forall a4 b.
Sym (NTCo:EventM[0]) <a4>_N
->_R Sym (NTCo:EventM[0]) <b>_N
->_R Trans
(<()>_R ->_R Sym (NTCo:IO[0] <a4>_R))
(Trans
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N))
(Sym (NTCo:EventM[0]) <a4>_N))) -}
ea61d2e860ede7f1fccfd0b438663c31
$fApplicativeEventM_$c<*> ::
EventM (a -> b) -> EventM a -> EventM b
{- Arity: 4, HasNoCafRefs,
Strictness: <C(C(S)),1*C1(C1(U(U,1*C1(U))))><L,1*C1(C1(U(U,U)))><L,U><L,U>,
Unfolding: InlineRule (0, True, True)
$fApplicativeEventM3
`cast`
(forall a4 b.
Sym (NTCo:EventM[0]) <a4 -> b>_N
->_R Sym (NTCo:EventM[0]) <a4>_N
->_R Trans
(<()>_R ->_R Sym (NTCo:IO[0] <b>_R))
(Trans
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N))
(Sym (NTCo:EventM[0]) <b>_N))) -}
ea61d2e860ede7f1fccfd0b438663c31
$fApplicativeEventM_$creturn :: a -> EventM a
{- Arity: 3, HasNoCafRefs, Strictness: <L,U><L,A><L,U>,
Unfolding: InlineRule (0, True, True)
$fApplicativeEventM4
`cast`
(forall a4.
<a4>_R
->_R Trans
(<()>_R ->_R Sym (NTCo:IO[0] <a4>_R))
(Trans
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N))
(Sym (NTCo:EventM[0]) <a4>_N))) -}
ea61d2e860ede7f1fccfd0b438663c31
$fFunctorEventM :: Functor EventM
DFunId
{- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE,
Unfolding: DFun:.
@ EventM $fFunctorEventM_$cfmap $fFunctorEventM_$c<$ -}
44b5ddf6397582fdad72a5f52d31defb
$fFunctorEventM1 ::
a
-> ReaderT () IO b
-> ()
-> State# RealWorld
-> (# State# RealWorld, a #)
{- Arity: 4, HasNoCafRefs,
Strictness: <L,U><C(C(S)),1*C1(C1(U(U,A)))><L,U><L,U>,
Unfolding: InlineRule (4, True, False)
(\ @ a4
@ b
eta :: a4
eta1 :: ReaderT () IO b
eta2 :: ()
eta3 :: State# RealWorld[OneShot] ->
case (eta1 `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N) eta2)
`cast`
(NTCo:IO[0] <b>_R)
eta3 of ds { (#,#) ipv ipv1 ->
(# ipv, eta #) }) -}
08148c060936e2b5cceb50d747ccd89f
$fFunctorEventM2 ::
(a -> b)
-> ReaderT () IO a
-> ()
-> State# RealWorld
-> (# State# RealWorld, b #)
{- Arity: 4, HasNoCafRefs,
Strictness: <L,1*C1(U)><C(C(S)),1*C1(C1(U(U,U)))><L,U><L,U>,
Unfolding: InlineRule (4, True, False)
(\ @ a4
@ b
f :: a4 -> b
eta :: ReaderT () IO a4
eta1 :: ()
eta2 :: State# RealWorld[OneShot] ->
case (eta `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N) eta1)
`cast`
(NTCo:IO[0] <a4>_R)
eta2 of ds { (#,#) ipv ipv1 ->
(# ipv, f ipv1 #) }) -}
ea61d2e860ede7f1fccfd0b438663c31
$fFunctorEventM_$c<$ :: a -> EventM b -> EventM a
{- Arity: 4, HasNoCafRefs,
Strictness: <L,U><C(C(S)),1*C1(C1(U(U,A)))><L,U><L,U>,
Unfolding: InlineRule (0, True, True)
$fFunctorEventM1
`cast`
(forall a4 b.
<a4>_R
->_R Sym (NTCo:EventM[0]) <b>_N
->_R Trans
(<()>_R ->_R Sym (NTCo:IO[0] <a4>_R))
(Trans
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N))
(Sym (NTCo:EventM[0]) <a4>_N))) -}
ea61d2e860ede7f1fccfd0b438663c31
$fFunctorEventM_$cfmap :: (a -> b) -> EventM a -> EventM b
{- Arity: 4, HasNoCafRefs,
Strictness: <L,1*C1(U)><C(C(S)),1*C1(C1(U(U,U)))><L,U><L,U>,
Unfolding: InlineRule (0, True, True)
$fFunctorEventM2
`cast`
(forall a4 b.
<a4 -> b>_R
->_R Sym (NTCo:EventM[0]) <a4>_N
->_R Trans
(<()>_R ->_R Sym (NTCo:IO[0] <b>_R))
(Trans
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N))
(Sym (NTCo:EventM[0]) <b>_N))) -}
ea61d2e860ede7f1fccfd0b438663c31
$fMonadEventM :: Monad EventM
DFunId
{- Strictness: m, Inline: [ALWAYS] CONLIKE,
Unfolding: DFun:.
@ EventM
$fApplicativeEventM
$fMonadEventM_$c>>=
$fMonadEventM_$c>>
$fApplicativeEventM_$creturn
$fMonadEventM_$cfail -}
ca90c0d1e87eeac7619745e5f0a62edf
$fMonadEventM1 ::
String -> () -> State# RealWorld -> (# State# RealWorld, a #)
{- Arity: 3, Strictness: <B,U><B,A><B,U>b,
Unfolding: InlineRule (3, True, True)
(\ @ a4
msg :: String
eta :: ()
eta1 :: State# RealWorld[OneShot] ->
failIO1 @ a4 msg eta1) -}
6919d7ca8297d7b65212aa300d524baf
$fMonadEventM2 ::
ReaderT () IO a -> ReaderT () IO b -> ReaderT () IO b
{- Arity: 2,
Unfolding: (\ @ a4 @ b ->
$fMonadReaderT_$c>> @ () @ IO $fMonadIO @ a4 @ b) -}
d4e86f5ce21be2d3b6b32045f2fc0ec1
$fMonadEventM3 ::
ReaderT () IO a
-> (a -> ReaderT () IO b)
-> ()
-> State# RealWorld
-> (# State# RealWorld, b #)
{- Arity: 4, HasNoCafRefs,
Strictness: <C(C(S)),1*C1(C1(U(U,U)))><L,1*C1(C1(C1(U(U,U))))><L,U><L,U>,
Unfolding: InlineRule (4, True, False)
(\ @ a4
@ b
m1 :: ReaderT () IO a4
k :: a4 -> ReaderT () IO b
r1 :: ()
s :: State# RealWorld[OneShot] ->
case (m1 `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N) r1)
`cast`
(NTCo:IO[0] <a4>_R)
s of ds1 { (#,#) ipv ipv1 ->
((k ipv1) `cast` (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N) r1)
`cast`
(NTCo:IO[0] <b>_R)
ipv }) -}
ea61d2e860ede7f1fccfd0b438663c31
$fMonadEventM_$c>> :: EventM a -> EventM b -> EventM b
{- Arity: 2,
Unfolding: InlineRule (0, True, True)
$fMonadEventM2
`cast`
(forall a4 b.
Sym (NTCo:EventM[0]) <a4>_N
->_R Sym (NTCo:EventM[0]) <b>_N
->_R Sym (NTCo:EventM[0]) <b>_N) -}
ea61d2e860ede7f1fccfd0b438663c31
$fMonadEventM_$c>>= :: EventM a -> (a -> EventM b) -> EventM b
{- Arity: 4, HasNoCafRefs,
Strictness: <C(C(S)),1*C1(C1(U(U,U)))><L,1*C1(C1(C1(U(U,U))))><L,U><L,U>,
Unfolding: InlineRule (0, True, True)
$fMonadEventM3
`cast`
(forall a4 b.
Sym (NTCo:EventM[0]) <a4>_N
->_R (<a4>_R ->_R Sym (NTCo:EventM[0]) <b>_N)
->_R Trans
(<()>_R ->_R Sym (NTCo:IO[0] <b>_R))
(Trans
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <b>_N))
(Sym (NTCo:EventM[0]) <b>_N))) -}
ea61d2e860ede7f1fccfd0b438663c31
$fMonadEventM_$cfail :: String -> EventM a
{- Arity: 3, Strictness: <B,U><B,A><B,U>b,
Unfolding: InlineRule (0, True, True)
$fMonadEventM1
`cast`
(forall a4.
<[Char]>_R
->_R Trans
(<()>_R ->_R Sym (NTCo:IO[0] <a4>_R))
(Trans
(Sym (NTCo:ReaderT[0] <()>_R <IO>_R <a4>_N))
(Sym (NTCo:EventM[0]) <a4>_N))) -}
ea61d2e860ede7f1fccfd0b438663c31
type role EventM nominal
newtype EventM a = EventM {unEventM :: ReaderT () IO a}
da534847d9ed9957f2f394b5989f8ced
unEventM :: EventM a -> ReaderT () IO a
RecSel EventM
{- Arity: 1, HasNoCafRefs, Strictness: <S,1*U>,
Unfolding: InlineRule (0, True, True)
unEventM1
`cast`
(forall a4. <EventM a4>_R ->_R NTCo:EventM[0] <a4>_N) -}
71ce58c5e749279d1737b8cbf963dbe5
unEventM1 :: EventM a -> EventM a
{- Arity: 1, HasNoCafRefs, Strictness: <S,1*U>,
Unfolding: InlineRule (1, True, True)
(\ @ a4 ds :: EventM a4 -> ds) -}
instance Applicative [EventM] = $fApplicativeEventM
instance Functor [EventM] = $fFunctorEventM
instance Monad [EventM] = $fMonadEventM
vectorised variables:
vectorised tycons:
vectorised reused tycons:
parallel variables:
parallel tycons:
trusted: none
require own pkg trusted: False
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment