API tools faq
paste
Guest User

Untitled

a guest
Feb 17th, 2020
234
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Haskell 9.20 KB | None | 0 0
raw download clone embed print report
  1. ==================== Derived instances ====================
  2. Derived class instances:
  3.   instance Language.Haskell.To.Elm.HasElmType
  4.              (Schema.PostT Data.Functor.Identity.Identity) where
  5.     Language.Haskell.To.Elm.elmType
  6.       = GHC.Prim.coerce
  7.           @(Language.Elm.Type.Type v_aCS7)
  8.           @(Language.Elm.Type.Type v_aCS7)
  9.           Language.Haskell.To.Elm.elmType ::
  10.           forall (v_aCS7 :: TYPE GHC.Types.LiftedRep).
  11.           Language.Elm.Type.Type v_aCS7
  12.     Language.Haskell.To.Elm.elmDefinition
  13.       = GHC.Prim.coerce
  14.           @(GHC.Maybe.Maybe Language.Elm.Definition.Definition)
  15.           @(GHC.Maybe.Maybe Language.Elm.Definition.Definition)
  16.           Language.Haskell.To.Elm.elmDefinition ::
  17.           GHC.Maybe.Maybe Language.Elm.Definition.Definition
  18.  
  19.  
  20. Derived type family instances:
  21.  
  22.  
  23.  
  24. ==================== Filling in method body ====================
  25. Language.Haskell.To.Elm.HasElmEncoder [Data.Aeson.Types.Internal.Value,
  26.                                        SchemaElm.WithBoilerplate a_aDgj[ssk:1]]
  27.   Language.Haskell.To.Elm.elmEncoder = Language.Haskell.To.Elm.$dmelmEncoder
  28.                                          @(Data.Aeson.Types.Internal.Value)
  29.                                          @(SchemaElm.WithBoilerplate a_aDgj[ssk:1])
  30.  
  31.  
  32.  
  33. ==================== Filling in method body ====================
  34. Language.Haskell.To.Elm.HasElmDecoder [Data.Aeson.Types.Internal.Value,
  35.                                        SchemaElm.WithBoilerplate a_aDnW[ssk:1]]
  36.   Language.Haskell.To.Elm.elmDecoder = Language.Haskell.To.Elm.$dmelmDecoder
  37.                                          @(Data.Aeson.Types.Internal.Value)
  38.                                          @(SchemaElm.WithBoilerplate a_aDnW[ssk:1])
  39.  
  40.  
  41.  
  42. ==================== Filling in method body ====================
  43. Language.Haskell.To.Elm.HasElmType [SchemaElm.WithBoilerplate
  44.                                       a_aDoQ[ssk:1]]
  45.   Language.Haskell.To.Elm.elmType = Language.Haskell.To.Elm.$dmelmType
  46.                                       @(SchemaElm.WithBoilerplate a_aDoQ[ssk:1])
  47.  
  48.  
  49.  
  50. ==================== Filling in method body ====================
  51. Language.Haskell.To.Elm.HasElmEncoder [Data.Aeson.Types.Internal.Value,
  52.                                        Database.Beam.Backend.SQL.Types.SqlSerial a_aDqc[ssk:1]]
  53.   Language.Haskell.To.Elm.elmEncoderDefinition = Language.Haskell.To.Elm.$dmelmEncoderDefinition
  54.                                                    @(Data.Aeson.Types.Internal.Value)
  55.                                                    @(Database.Beam.Backend.SQL.Types.SqlSerial
  56.                                                        a_aDqc[ssk:1])
  57.  
  58.  
  59.  
  60. ==================== Filling in method body ====================
  61. Language.Haskell.To.Elm.HasElmDecoder [Data.Aeson.Types.Internal.Value,
  62.                                        Database.Beam.Backend.SQL.Types.SqlSerial a_aDqD[ssk:1]]
  63.   Language.Haskell.To.Elm.elmDecoderDefinition = Language.Haskell.To.Elm.$dmelmDecoderDefinition
  64.                                                    @(Data.Aeson.Types.Internal.Value)
  65.                                                    @(Database.Beam.Backend.SQL.Types.SqlSerial
  66.                                                        a_aDqD[ssk:1])
  67.  
  68.  
  69.  
  70. ==================== Filling in method body ====================
  71. Language.Haskell.To.Elm.HasElmType [Database.Beam.Backend.SQL.Types.SqlSerial
  72.                                       a_aDr4[ssk:1]]
  73.   Language.Haskell.To.Elm.elmDefinition = Language.Haskell.To.Elm.$dmelmDefinition
  74.                                             @(Database.Beam.Backend.SQL.Types.SqlSerial
  75.                                                 a_aDr4[ssk:1])
  76.  
  77.  
  78.  
  79. /data/code/haskell/timesafe/timesafe-backend/app/generate-elm/SchemaElm.hs:58:1: error:
  80.     • Ambiguous type variable ‘a0’ arising from a use of ‘elmType’
  81.       prevents the constraint ‘(HasElmType a0)’ from being solved.
  82.       Probable fix: use a type annotation to specify what ‘a0’ should be.
  83.       These potential instances exist:
  84.         instance HasElmType a => HasElmType (SqlSerial a)
  85.           -- Defined at app/generate-elm/SchemaElm.hs:90:10
  86.         instance (HasDatatypeInfo a, All2 HasElmType (Code a),
  87.                   ElmBoilerplate a) =>
  88.                  HasElmType (WithBoilerplate a)
  89.           -- Defined at app/generate-elm/SchemaElm.hs:39:10
  90.         instance HasElmType Text -- Defined in ‘Language.Haskell.To.Elm’
  91.         instance HasElmType (Schema.PostT Identity)
  92.           -- Defined at app/generate-elm/SchemaElm.hs:58:1
  93.         instance HasElmType a => HasElmType (Maybe a)
  94.           -- Defined in ‘Language.Haskell.To.Elm’
  95.         instance (HasElmType a, HasElmType b) => HasElmType (a, b)
  96.           -- Defined in ‘Language.Haskell.To.Elm’
  97.         instance HasElmType Bool -- Defined in ‘Language.Haskell.To.Elm’
  98.         instance HasElmType Char -- Defined in ‘Language.Haskell.To.Elm’
  99.         instance HasElmType Double -- Defined in ‘Language.Haskell.To.Elm’
  100.         instance HasElmType Int -- Defined in ‘Language.Haskell.To.Elm’
  101.         instance HasElmType a => HasElmType [a]
  102.           -- Defined in ‘Language.Haskell.To.Elm’
  103.         ...plus two instances involving out-of-scope types
  104.           instance HasElmType Servant.API.ContentTypes.NoContent
  105.             -- Defined in ‘Servant.To.Elm’
  106.           instance HasElmType
  107.                      time-1.8.0.2:Data.Time.Clock.Internal.UTCTime.UTCTime
  108.             -- Defined in ‘Language.Haskell.To.Elm’
  109.     • In the third argument of ‘coerce’, namely ‘elmType’
  110.       In the expression:
  111.           coerce
  112.             @(Language.Elm.Type.Type v) @(Language.Elm.Type.Type v) elmType ::
  113.             forall (v :: TYPE ghc-prim-0.5.3:GHC.Types.LiftedRep).
  114.             Language.Elm.Type.Type v
  115.       In an equation for ‘elmType’:
  116.           elmType
  117.             = coerce
  118.                 @(Language.Elm.Type.Type v) @(Language.Elm.Type.Type v) elmType ::
  119.                 forall (v :: TYPE ghc-prim-0.5.3:GHC.Types.LiftedRep).
  120.                 Language.Elm.Type.Type v
  121.       When typechecking the code for ‘elmType’
  122.         in a derived instance for ‘HasElmType (Schema.PostT Identity)’:
  123.         To see the code I am typechecking, use -ddump-deriv
  124.    |
  125. 58 | deriving via WithBoilerplate Schema.Post instance HasElmType Schema.Post
  126.    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  127.  
  128. /data/code/haskell/timesafe/timesafe-backend/app/generate-elm/SchemaElm.hs:58:1: error:
  129.     • Ambiguous type variable ‘a1’ arising from a use of ‘elmDefinition’
  130.       prevents the constraint ‘(HasElmType a1)’ from being solved.
  131.       Probable fix: use a type annotation to specify what ‘a1’ should be.
  132.       These potential instances exist:
  133.         instance HasElmType a => HasElmType (SqlSerial a)
  134.           -- Defined at app/generate-elm/SchemaElm.hs:90:10
  135.         instance (HasDatatypeInfo a, All2 HasElmType (Code a),
  136.                   ElmBoilerplate a) =>
  137.                  HasElmType (WithBoilerplate a)
  138.           -- Defined at app/generate-elm/SchemaElm.hs:39:10
  139.         instance HasElmType Text -- Defined in ‘Language.Haskell.To.Elm’
  140.         instance HasElmType (Schema.PostT Identity)
  141.           -- Defined at app/generate-elm/SchemaElm.hs:58:1
  142.         instance HasElmType a => HasElmType (Maybe a)
  143.           -- Defined in ‘Language.Haskell.To.Elm’
  144.         instance (HasElmType a, HasElmType b) => HasElmType (a, b)
  145.           -- Defined in ‘Language.Haskell.To.Elm’
  146.         instance HasElmType Bool -- Defined in ‘Language.Haskell.To.Elm’
  147.         instance HasElmType Char -- Defined in ‘Language.Haskell.To.Elm’
  148.         instance HasElmType Double -- Defined in ‘Language.Haskell.To.Elm’
  149.         instance HasElmType Int -- Defined in ‘Language.Haskell.To.Elm’
  150.         instance HasElmType a => HasElmType [a]
  151.           -- Defined in ‘Language.Haskell.To.Elm’
  152.         ...plus two instances involving out-of-scope types
  153.           instance HasElmType Servant.API.ContentTypes.NoContent
  154.             -- Defined in ‘Servant.To.Elm’
  155.           instance HasElmType
  156.                      time-1.8.0.2:Data.Time.Clock.Internal.UTCTime.UTCTime
  157.             -- Defined in ‘Language.Haskell.To.Elm’
  158.     • In the third argument of ‘coerce’, namely ‘elmDefinition’
  159.       In the expression:
  160.           coerce
  161.             @(Maybe Language.Elm.Definition.Definition)
  162.             @(Maybe Language.Elm.Definition.Definition)
  163.             elmDefinition ::
  164.             Maybe Language.Elm.Definition.Definition
  165.       In an equation for ‘elmDefinition’:
  166.           elmDefinition
  167.             = coerce
  168.                 @(Maybe Language.Elm.Definition.Definition)
  169.                 @(Maybe Language.Elm.Definition.Definition)
  170.                 elmDefinition ::
  171.                 Maybe Language.Elm.Definition.Definition
  172.       When typechecking the code for ‘elmDefinition’
  173.         in a derived instance for ‘HasElmType (Schema.PostT Identity)’:
  174.         To see the code I am typechecking, use -ddump-deriv
  175.    |
  176. 58 | deriving via WithBoilerplate Schema.Post instance HasElmType Schema.Post
  177.    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Advertisement
Add Comment
Please, Sign In to add comment
Public Pastes
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!