/error-monoid-maybe-int-ddump
Created Sep 29, 2019
| 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