Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
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
You can’t perform that action at this time.