Created
September 29, 2019 06:34
-
-
Save mgsloan/401103e984fc70633cb345c0569fa982 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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