ErrorMonoidMaybeInt.hs:12:3-48: Splicing declarations | |
explainInstanceError [t| Monoid (Maybe Int) |] | |
======> | |
main_a6aM | |
= putStrLn | |
(displayInst | |
(resolveMonoid (Data.Proxy.Proxy :: Data.Proxy.Proxy (Maybe Int)))) | |
class Semigroup_ a_a4Ra => Monoid_ (a_a4Ra :: GHC.Types.Type) where | |
resolveMonoid :: Data.Proxy.Proxy a_a4Ra -> Inst | |
instance OVERLAPPABLE #-} base-4.12.0.0:Data.Typeable.Internal.Typeable a_a4Ra => | |
Monoid_ a_a4Ra where | |
resolveMonoid _ | |
= ((Inst "ERROR instance Monoid a") | |
[("a", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4Ra))]) | |
[] | |
instance base-4.12.0.0:Data.Typeable.Internal.Typeable a_a4Ro => | |
Monoid_ (Last a_a4Ro) where | |
resolveMonoid _ | |
= ((Inst "instance Monoid (Last a)") | |
[("a", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4Ro))]) | |
[] | |
instance base-4.12.0.0:Data.Typeable.Internal.Typeable a_a4Rt => | |
Monoid_ (First a_a4Rt) where | |
resolveMonoid _ | |
= ((Inst "instance Monoid (First a)") | |
[("a", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4Rt))]) | |
[] | |
instance (Applicative_ f_a4Ry, | |
Monoid_ a_a4Rz, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable a_a4Rz, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable f_a4Ry) => | |
Monoid_ (Ap f_a4Ry a_a4Rz) where | |
resolveMonoid _ | |
= ((Inst "instance (Applicative f, Monoid a) => Monoid (Ap f a)") | |
[("a", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4Rz)), | |
("f", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy f_a4Ry))]) | |
[resolveApplicative (Data.Proxy.Proxy :: Data.Proxy.Proxy f_a4Ry), | |
resolveMonoid (Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4Rz)] | |
instance base-4.12.0.0:Data.Typeable.Internal.Typeable a_a4RQ => | |
Monoid_ [a_a4RQ] where | |
resolveMonoid _ | |
= ((Inst "instance Monoid ([a])") | |
[("a", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4RQ))]) | |
[] | |
instance Monoid_ Ordering where | |
resolveMonoid _ = ((Inst "instance Monoid Ordering") []) [] | |
instance (Semigroup_ a_a4S0, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable a_a4S0) => | |
Monoid_ (Maybe a_a4S0) where | |
resolveMonoid _ | |
= ((Inst "instance Semigroup a => Monoid (Maybe a)") | |
[("a", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4S0))]) | |
[resolveSemigroup (Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4S0)] | |
instance (Monoid_ a_a4S1, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable a_a4S1) => | |
Monoid_ (IO a_a4S1) where | |
resolveMonoid _ | |
= ((Inst "instance Monoid a => Monoid (IO a)") | |
[("a", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4S1))]) | |
[resolveMonoid (Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4S1)] | |
instance (Monoid_ b_a4S2, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable a_a4S3, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable b_a4S2) => | |
Monoid_ (a_a4S3 -> b_a4S2) where | |
resolveMonoid _ | |
= ((Inst "instance Monoid b => Monoid (a -> b)") | |
[("a", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4S3)), | |
("b", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy b_a4S2))]) | |
[resolveMonoid (Data.Proxy.Proxy :: Data.Proxy.Proxy b_a4S2)] | |
instance (Monoid_ a_a4S4, | |
Monoid_ b_a4S5, | |
Monoid_ c_a4S6, | |
Monoid_ d_a4S7, | |
Monoid_ e_a4S8, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable a_a4S4, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable b_a4S5, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable c_a4S6, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable d_a4S7, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable e_a4S8) => | |
Monoid_ (a_a4S4, b_a4S5, c_a4S6, d_a4S7, e_a4S8) where | |
resolveMonoid _ | |
= ((Inst | |
"instance (Monoid a, | |
Monoid b, | |
Monoid c, | |
Monoid d, | |
Monoid e) => Monoid (a, b, c, d, e)") | |
[("a", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4S4)), | |
("b", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy b_a4S5)), | |
("c", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy c_a4S6)), | |
("d", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy d_a4S7)), | |
("e", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy e_a4S8))]) | |
[resolveMonoid (Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4S4), | |
resolveMonoid (Data.Proxy.Proxy :: Data.Proxy.Proxy b_a4S5), | |
resolveMonoid (Data.Proxy.Proxy :: Data.Proxy.Proxy c_a4S6), | |
resolveMonoid (Data.Proxy.Proxy :: Data.Proxy.Proxy d_a4S7), | |
resolveMonoid (Data.Proxy.Proxy :: Data.Proxy.Proxy e_a4S8)] | |
instance (Monoid_ a_a4S9, | |
Monoid_ b_a4Sa, | |
Monoid_ c_a4Sb, | |
Monoid_ d_a4Sc, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable a_a4S9, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable b_a4Sa, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable c_a4Sb, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable d_a4Sc) => | |
Monoid_ (a_a4S9, b_a4Sa, c_a4Sb, d_a4Sc) where | |
resolveMonoid _ | |
= ((Inst | |
"instance (Monoid a, Monoid b, Monoid c, Monoid d) => Monoid (a, | |
b, | |
c, | |
d)") | |
[("a", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4S9)), | |
("b", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy b_a4Sa)), | |
("c", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy c_a4Sb)), | |
("d", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy d_a4Sc))]) | |
[resolveMonoid (Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4S9), | |
resolveMonoid (Data.Proxy.Proxy :: Data.Proxy.Proxy b_a4Sa), | |
resolveMonoid (Data.Proxy.Proxy :: Data.Proxy.Proxy c_a4Sb), | |
resolveMonoid (Data.Proxy.Proxy :: Data.Proxy.Proxy d_a4Sc)] | |
instance (Monoid_ a_a4Sd, | |
Monoid_ b_a4Se, | |
Monoid_ c_a4Sf, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable a_a4Sd, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable b_a4Se, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable c_a4Sf) => | |
Monoid_ (a_a4Sd, b_a4Se, c_a4Sf) where | |
resolveMonoid _ | |
= ((Inst | |
"instance (Monoid a, Monoid b, Monoid c) => Monoid (a, b, c)") | |
[("a", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4Sd)), | |
("b", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy b_a4Se)), | |
("c", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy c_a4Sf))]) | |
[resolveMonoid (Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4Sd), | |
resolveMonoid (Data.Proxy.Proxy :: Data.Proxy.Proxy b_a4Se), | |
resolveMonoid (Data.Proxy.Proxy :: Data.Proxy.Proxy c_a4Sf)] | |
instance (Monoid_ a_a4Sg, | |
Monoid_ b_a4Sh, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable a_a4Sg, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable b_a4Sh) => | |
Monoid_ (a_a4Sg, b_a4Sh) where | |
resolveMonoid _ | |
= ((Inst "instance (Monoid a, Monoid b) => Monoid (a, b)") | |
[("a", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4Sg)), | |
("b", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy b_a4Sh))]) | |
[resolveMonoid (Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4Sg), | |
resolveMonoid (Data.Proxy.Proxy :: Data.Proxy.Proxy b_a4Sh)] | |
instance Monoid_ () where | |
resolveMonoid _ = ((Inst "instance Monoid ()") []) [] | |
class Semigroup_ (a_a4Rh :: GHC.Types.Type) where | |
resolveSemigroup :: Data.Proxy.Proxy a_a4Rh -> Inst | |
instance OVERLAPPABLE #-} base-4.12.0.0:Data.Typeable.Internal.Typeable a_a4Rh => | |
Semigroup_ a_a4Rh where | |
resolveSemigroup _ | |
= ((Inst "ERROR instance Semigroup a") | |
[("a", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4Rh))]) | |
[] | |
instance base-4.12.0.0:Data.Typeable.Internal.Typeable a_a4Si => | |
Semigroup_ (Last a_a4Si) where | |
resolveSemigroup _ | |
= ((Inst "instance Semigroup (Last a)") | |
[("a", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4Si))]) | |
[] | |
instance base-4.12.0.0:Data.Typeable.Internal.Typeable a_a4Sj => | |
Semigroup_ (First a_a4Sj) where | |
resolveSemigroup _ | |
= ((Inst "instance Semigroup (First a)") | |
[("a", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4Sj))]) | |
[] | |
instance (Applicative_ f_a4Sk, | |
Semigroup_ a_a4Sl, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable a_a4Sl, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable f_a4Sk) => | |
Semigroup_ (Ap f_a4Sk a_a4Sl) where | |
resolveSemigroup _ | |
= ((Inst | |
"instance (Applicative f, Semigroup a) => Semigroup (Ap f a)") | |
[("a", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4Sl)), | |
("f", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy f_a4Sk))]) | |
[resolveApplicative (Data.Proxy.Proxy :: Data.Proxy.Proxy f_a4Sk), | |
resolveSemigroup (Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4Sl)] | |
instance base-4.12.0.0:Data.Typeable.Internal.Typeable a_a4Sm => | |
Semigroup_ [a_a4Sm] where | |
resolveSemigroup _ | |
= ((Inst "instance Semigroup ([a])") | |
[("a", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4Sm))]) | |
[] | |
instance Semigroup_ Ordering where | |
resolveSemigroup _ = ((Inst "instance Semigroup Ordering") []) [] | |
instance base-4.12.0.0:Data.Typeable.Internal.Typeable a_a4Sn => | |
Semigroup_ (GHC.Base.NonEmpty a_a4Sn) where | |
resolveSemigroup _ | |
= ((Inst "instance Semigroup (GHC.Base.NonEmpty a)") | |
[("a", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4Sn))]) | |
[] | |
instance (Semigroup_ a_a4Ss, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable a_a4Ss) => | |
Semigroup_ (Maybe a_a4Ss) where | |
resolveSemigroup _ | |
= ((Inst "instance Semigroup a => Semigroup (Maybe a)") | |
[("a", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4Ss))]) | |
[resolveSemigroup (Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4Ss)] | |
instance (Semigroup_ a_a4St, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable a_a4St) => | |
Semigroup_ (IO a_a4St) where | |
resolveSemigroup _ | |
= ((Inst "instance Semigroup a => Semigroup (IO a)") | |
[("a", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4St))]) | |
[resolveSemigroup (Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4St)] | |
instance (Semigroup_ b_a4Su, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable a_a4Sv, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable b_a4Su) => | |
Semigroup_ (a_a4Sv -> b_a4Su) where | |
resolveSemigroup _ | |
= ((Inst "instance Semigroup b => Semigroup (a -> b)") | |
[("a", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4Sv)), | |
("b", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy b_a4Su))]) | |
[resolveSemigroup (Data.Proxy.Proxy :: Data.Proxy.Proxy b_a4Su)] | |
instance (Semigroup_ a_a4Sw, | |
Semigroup_ b_a4Sx, | |
Semigroup_ c_a4Sy, | |
Semigroup_ d_a4Sz, | |
Semigroup_ e_a4SA, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable a_a4Sw, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable b_a4Sx, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable c_a4Sy, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable d_a4Sz, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable e_a4SA) => | |
Semigroup_ (a_a4Sw, b_a4Sx, c_a4Sy, d_a4Sz, e_a4SA) where | |
resolveSemigroup _ | |
= ((Inst | |
"instance (Semigroup a, | |
Semigroup b, | |
Semigroup c, | |
Semigroup d, | |
Semigroup e) => Semigroup (a, b, c, d, e)") | |
[("a", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4Sw)), | |
("b", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy b_a4Sx)), | |
("c", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy c_a4Sy)), | |
("d", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy d_a4Sz)), | |
("e", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy e_a4SA))]) | |
[resolveSemigroup (Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4Sw), | |
resolveSemigroup (Data.Proxy.Proxy :: Data.Proxy.Proxy b_a4Sx), | |
resolveSemigroup (Data.Proxy.Proxy :: Data.Proxy.Proxy c_a4Sy), | |
resolveSemigroup (Data.Proxy.Proxy :: Data.Proxy.Proxy d_a4Sz), | |
resolveSemigroup (Data.Proxy.Proxy :: Data.Proxy.Proxy e_a4SA)] | |
instance (Semigroup_ a_a4SB, | |
Semigroup_ b_a4SC, | |
Semigroup_ c_a4SD, | |
Semigroup_ d_a4SE, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable a_a4SB, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable b_a4SC, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable c_a4SD, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable d_a4SE) => | |
Semigroup_ (a_a4SB, b_a4SC, c_a4SD, d_a4SE) where | |
resolveSemigroup _ | |
= ((Inst | |
"instance (Semigroup a, | |
Semigroup b, | |
Semigroup c, | |
Semigroup d) => Semigroup (a, b, c, d)") | |
[("a", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4SB)), | |
("b", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy b_a4SC)), | |
("c", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy c_a4SD)), | |
("d", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy d_a4SE))]) | |
[resolveSemigroup (Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4SB), | |
resolveSemigroup (Data.Proxy.Proxy :: Data.Proxy.Proxy b_a4SC), | |
resolveSemigroup (Data.Proxy.Proxy :: Data.Proxy.Proxy c_a4SD), | |
resolveSemigroup (Data.Proxy.Proxy :: Data.Proxy.Proxy d_a4SE)] | |
instance (Semigroup_ a_a4SF, | |
Semigroup_ b_a4SG, | |
Semigroup_ c_a4SH, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable a_a4SF, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable b_a4SG, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable c_a4SH) => | |
Semigroup_ (a_a4SF, b_a4SG, c_a4SH) where | |
resolveSemigroup _ | |
= ((Inst | |
"instance (Semigroup a, Semigroup b, Semigroup c) => Semigroup (a, | |
b, | |
c)") | |
[("a", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4SF)), | |
("b", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy b_a4SG)), | |
("c", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy c_a4SH))]) | |
[resolveSemigroup (Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4SF), | |
resolveSemigroup (Data.Proxy.Proxy :: Data.Proxy.Proxy b_a4SG), | |
resolveSemigroup (Data.Proxy.Proxy :: Data.Proxy.Proxy c_a4SH)] | |
instance (Semigroup_ a_a4SI, | |
Semigroup_ b_a4SJ, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable a_a4SI, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable b_a4SJ) => | |
Semigroup_ (a_a4SI, b_a4SJ) where | |
resolveSemigroup _ | |
= ((Inst "instance (Semigroup a, Semigroup b) => Semigroup (a, b)") | |
[("a", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4SI)), | |
("b", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy b_a4SJ))]) | |
[resolveSemigroup (Data.Proxy.Proxy :: Data.Proxy.Proxy a_a4SI), | |
resolveSemigroup (Data.Proxy.Proxy :: Data.Proxy.Proxy b_a4SJ)] | |
instance Semigroup_ () where | |
resolveSemigroup _ = ((Inst "instance Semigroup ()") []) [] | |
class Functor_ f_a4RA => Applicative_ (f_a4RA :: GHC.Types.Type | |
-> GHC.Types.Type) where | |
resolveApplicative :: Data.Proxy.Proxy f_a4RA -> Inst | |
instance OVERLAPPABLE #-} base-4.12.0.0:Data.Typeable.Internal.Typeable f_a4RA => | |
Applicative_ f_a4RA where | |
resolveApplicative _ | |
= ((Inst "ERROR instance Applicative f") | |
[("f", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy f_a4RA))]) | |
[] | |
instance Applicative_ Language.Haskell.TH.Syntax.Q where | |
resolveApplicative _ | |
= ((Inst "instance Applicative Language.Haskell.TH.Syntax.Q") []) | |
[] | |
instance (Functor_ m_a528, | |
Monad_ m_a528, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable e_a529, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable m_a528) => | |
Applicative_ (Control.Monad.Trans.Error.ErrorT e_a529 m_a528) where | |
resolveApplicative _ | |
= ((Inst | |
"instance (Functor m, | |
Monad m) => Applicative (Control.Monad.Trans.Error.ErrorT e m)") | |
[("e", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy e_a529)), | |
("m", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy m_a528))]) | |
[resolveFunctor (Data.Proxy.Proxy :: Data.Proxy.Proxy m_a528), | |
resolveMonad (Data.Proxy.Proxy :: Data.Proxy.Proxy m_a528)] | |
instance Applicative_ Last where | |
resolveApplicative _ = ((Inst "instance Applicative Last") []) [] | |
instance Applicative_ First where | |
resolveApplicative _ = ((Inst "instance Applicative First") []) [] | |
instance (Applicative_ f_a52g, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable f_a52g) => | |
Applicative_ (Ap f_a52g) where | |
resolveApplicative _ | |
= ((Inst "instance Applicative f => Applicative (Ap f)") | |
[("f", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy f_a52g))]) | |
[resolveApplicative (Data.Proxy.Proxy :: Data.Proxy.Proxy f_a52g)] | |
instance Applicative_ [] where | |
resolveApplicative _ = ((Inst "instance Applicative []") []) [] | |
instance Applicative_ GHC.Base.NonEmpty where | |
resolveApplicative _ | |
= ((Inst "instance Applicative GHC.Base.NonEmpty") []) [] | |
instance Applicative_ Maybe where | |
resolveApplicative _ = ((Inst "instance Applicative Maybe") []) [] | |
instance Applicative_ IO where | |
resolveApplicative _ = ((Inst "instance Applicative IO") []) [] | |
instance base-4.12.0.0:Data.Typeable.Internal.Typeable a_a52h => | |
Applicative_ ((->) a_a52h :: GHC.Types.Type | |
-> GHC.Types.Type) where | |
resolveApplicative _ | |
= ((Inst "instance Applicative ((->) a :: * -> *)") | |
[("a", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy a_a52h))]) | |
[] | |
instance (Monoid_ a_a52i, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable a_a52i) => | |
Applicative_ ((,) a_a52i) where | |
resolveApplicative _ | |
= ((Inst "instance Monoid a => Applicative ((,) a)") | |
[("a", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy a_a52i))]) | |
[resolveMonoid (Data.Proxy.Proxy :: Data.Proxy.Proxy a_a52i)] | |
class Functor_ (f_a522 :: GHC.Types.Type -> GHC.Types.Type) where | |
resolveFunctor :: Data.Proxy.Proxy f_a522 -> Inst | |
instance OVERLAPPABLE #-} base-4.12.0.0:Data.Typeable.Internal.Typeable f_a522 => | |
Functor_ f_a522 where | |
resolveFunctor _ | |
= ((Inst "ERROR instance Functor f") | |
[("f", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy f_a522))]) | |
[] | |
instance Functor_ Language.Haskell.TH.Syntax.Q where | |
resolveFunctor _ | |
= ((Inst "instance Functor Language.Haskell.TH.Syntax.Q") []) [] | |
instance (Functor_ m_a5gR, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable e_a5gS, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable m_a5gR) => | |
Functor_ (Control.Monad.Trans.Error.ErrorT e_a5gS m_a5gR) where | |
resolveFunctor _ | |
= ((Inst | |
"instance Functor m => Functor (Control.Monad.Trans.Error.ErrorT e | |
m)") | |
[("e", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy e_a5gS)), | |
("m", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy m_a5gR))]) | |
[resolveFunctor (Data.Proxy.Proxy :: Data.Proxy.Proxy m_a5gR)] | |
instance Functor_ Last where | |
resolveFunctor _ = ((Inst "instance Functor Last") []) [] | |
instance Functor_ First where | |
resolveFunctor _ = ((Inst "instance Functor First") []) [] | |
instance (Functor_ f_a5gT, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable f_a5gT) => | |
Functor_ (Ap f_a5gT) where | |
resolveFunctor _ | |
= ((Inst "instance Functor f => Functor (Ap f)") | |
[("f", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy f_a5gT))]) | |
[resolveFunctor (Data.Proxy.Proxy :: Data.Proxy.Proxy f_a5gT)] | |
instance Functor_ [] where | |
resolveFunctor _ = ((Inst "instance Functor []") []) [] | |
instance Functor_ GHC.Base.NonEmpty where | |
resolveFunctor _ | |
= ((Inst "instance Functor GHC.Base.NonEmpty") []) [] | |
instance Functor_ Maybe where | |
resolveFunctor _ = ((Inst "instance Functor Maybe") []) [] | |
instance Functor_ IO where | |
resolveFunctor _ = ((Inst "instance Functor IO") []) [] | |
instance base-4.12.0.0:Data.Typeable.Internal.Typeable r_a5gU => | |
Functor_ ((->) r_a5gU :: GHC.Types.Type -> GHC.Types.Type) where | |
resolveFunctor _ | |
= ((Inst "instance Functor ((->) r :: * -> *)") | |
[("r", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy r_a5gU))]) | |
[] | |
instance base-4.12.0.0:Data.Typeable.Internal.Typeable a_a5gV => | |
Functor_ ((,) a_a5gV) where | |
resolveFunctor _ | |
= ((Inst "instance Functor ((,) a)") | |
[("a", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy a_a5gV))]) | |
[] | |
class Applicative_ m_aM9 => Monad_ (m_aM9 :: GHC.Types.Type | |
-> GHC.Types.Type) where | |
resolveMonad :: Data.Proxy.Proxy m_aM9 -> Inst | |
instance OVERLAPPABLE #-} base-4.12.0.0:Data.Typeable.Internal.Typeable m_aM9 => | |
Monad_ m_aM9 where | |
resolveMonad _ | |
= ((Inst "ERROR instance Monad m") | |
[("m", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy m_aM9))]) | |
[] | |
instance base-4.12.0.0:Data.Typeable.Internal.Typeable e_a5kn => | |
Monad_ (Either e_a5kn) where | |
resolveMonad _ | |
= ((Inst "instance Monad (Either e)") | |
[("e", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy e_a5kn))]) | |
[] | |
instance Monad_ Language.Haskell.TH.Syntax.Q where | |
resolveMonad _ | |
= ((Inst "instance Monad Language.Haskell.TH.Syntax.Q") []) [] | |
instance (Monad_ m_a5ko, | |
Error_ e_a5kp, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable e_a5kp, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable m_a5ko) => | |
Monad_ (Control.Monad.Trans.Error.ErrorT e_a5kp m_a5ko) where | |
resolveMonad _ | |
= ((Inst | |
"instance (Monad m, | |
Control.Monad.Trans.Error.Error e) => Monad (Control.Monad.Trans.Error.ErrorT e | |
m)") | |
[("e", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy e_a5kp)), | |
("m", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy m_a5ko))]) | |
[resolveMonad (Data.Proxy.Proxy :: Data.Proxy.Proxy m_a5ko), | |
resolveError (Data.Proxy.Proxy :: Data.Proxy.Proxy e_a5kp)] | |
instance Monad_ Last where | |
resolveMonad _ = ((Inst "instance Monad Last") []) [] | |
instance Monad_ First where | |
resolveMonad _ = ((Inst "instance Monad First") []) [] | |
instance (Monad_ f_a5kv, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable f_a5kv) => | |
Monad_ (Ap f_a5kv) where | |
resolveMonad _ | |
= ((Inst "instance Monad f => Monad (Ap f)") | |
[("f", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy f_a5kv))]) | |
[resolveMonad (Data.Proxy.Proxy :: Data.Proxy.Proxy f_a5kv)] | |
instance Monad_ [] where | |
resolveMonad _ = ((Inst "instance Monad []") []) [] | |
instance Monad_ GHC.Base.NonEmpty where | |
resolveMonad _ = ((Inst "instance Monad GHC.Base.NonEmpty") []) [] | |
instance Monad_ Maybe where | |
resolveMonad _ = ((Inst "instance Monad Maybe") []) [] | |
instance Monad_ IO where | |
resolveMonad _ = ((Inst "instance Monad IO") []) [] | |
instance base-4.12.0.0:Data.Typeable.Internal.Typeable r_a5kw => | |
Monad_ ((->) r_a5kw :: GHC.Types.Type -> GHC.Types.Type) where | |
resolveMonad _ | |
= ((Inst "instance Monad ((->) r :: * -> *)") | |
[("r", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy r_a5kw))]) | |
[] | |
instance (Monoid_ a_a5kx, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable a_a5kx) => | |
Monad_ ((,) a_a5kx) where | |
resolveMonad _ | |
= ((Inst "instance Monoid a => Monad ((,) a)") | |
[("a", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy a_a5kx))]) | |
[resolveMonoid (Data.Proxy.Proxy :: Data.Proxy.Proxy a_a5kx)] | |
class Error_ (a_a5kq :: GHC.Types.Type) where | |
resolveError :: Data.Proxy.Proxy a_a5kq -> Inst | |
instance OVERLAPPABLE #-} base-4.12.0.0:Data.Typeable.Internal.Typeable a_a5kq => | |
Error_ a_a5kq where | |
resolveError _ | |
= ((Inst "ERROR instance Control.Monad.Trans.Error.Error a") | |
[("a", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy a_a5kq))]) | |
[] | |
instance (ErrorList_ a_a5kI, | |
base-4.12.0.0:Data.Typeable.Internal.Typeable a_a5kI) => | |
Error_ [a_a5kI] where | |
resolveError _ | |
= ((Inst | |
"instance Control.Monad.Trans.Error.ErrorList a => Control.Monad.Trans.Error.Error ([a])") | |
[("a", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy a_a5kI))]) | |
[resolveErrorList (Data.Proxy.Proxy :: Data.Proxy.Proxy a_a5kI)] | |
instance Error_ GHC.IO.Exception.IOException where | |
resolveError _ | |
= ((Inst | |
"instance Control.Monad.Trans.Error.Error GHC.IO.Exception.IOException") | |
[]) | |
[] | |
class ErrorList_ (a_a5kJ :: GHC.Types.Type) where | |
resolveErrorList :: Data.Proxy.Proxy a_a5kJ -> Inst | |
instance OVERLAPPABLE #-} base-4.12.0.0:Data.Typeable.Internal.Typeable a_a5kJ => | |
ErrorList_ a_a5kJ where | |
resolveErrorList _ | |
= ((Inst "ERROR instance Control.Monad.Trans.Error.ErrorList a") | |
[("a", | |
Data.Typeable.typeRep | |
(Data.Proxy.Proxy :: Data.Proxy.Proxy a_a5kJ))]) | |
[] | |
instance ErrorList_ Char where | |
resolveErrorList _ | |
= ((Inst "instance Control.Monad.Trans.Error.ErrorList Char") []) | |
[] | |
instance Semigroup a => Monoid (Maybe a) | |
with a ~ Int | |
ERROR instance Semigroup a | |
with a ~ Int | |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment