a47227e · rowtype-yoga/purescript-prospero

git.iko.soy/rowtype-yoga/purescript-prospero

commita47227e992882ff3b996e636e3f659ab7f6598b5 authorMark <mark.eibes@gmail.com> dateFri 20 Feb 2026, 18:17 (7 months ago) parentc9c766e

32 files changed+36−4

compare with main

unifiedsplit

test/golden/codegen/all-root-types.golden+1

@@ -5,6 +5,7 @@ import Prelude

55import Data.Generic.Rep (class Generic)

66import Data.Maybe (Maybe)

77import Data.Newtype (class Newtype)

8+import Data.Variant (Variant)

89import Prospero.GqlQuery (Mutation, Query, Subscription)

910import Prospero.InputValue (class FromInputValue)

1011import Prospero.Metadata (Defaulted, Deprecated, Described, Enum, InputObject, Interface, Object, Scalar, Union, class IsGql)

test/golden/codegen/args.golden+1

@@ -5,6 +5,7 @@ import Prelude

55import Data.Generic.Rep (class Generic)

66import Data.Maybe (Maybe)

77import Data.Newtype (class Newtype)

8+import Data.Variant (Variant)

89import Prospero.GqlQuery (Mutation, Query, Subscription)

910import Prospero.InputValue (class FromInputValue)

1011import Prospero.Metadata (Defaulted, Deprecated, Described, Enum, InputObject, Interface, Object, Scalar, Union, class IsGql)

test/golden/codegen/default-args.golden+1

@@ -5,6 +5,7 @@ import Prelude

55import Data.Generic.Rep (class Generic)

66import Data.Maybe (Maybe)

77import Data.Newtype (class Newtype)

8+import Data.Variant (Variant)

89import Prospero.GqlQuery (Mutation, Query, Subscription)

910import Prospero.InputValue (class FromInputValue)

1011import Prospero.Metadata (Defaulted, Deprecated, Described, Enum, InputObject, Interface, Object, Scalar, Union, class IsGql)

test/golden/codegen/deprecated-enum-value.golden+1

@@ -5,6 +5,7 @@ import Prelude

55import Data.Generic.Rep (class Generic)

66import Data.Maybe (Maybe)

77import Data.Newtype (class Newtype)

8+import Data.Variant (Variant)

89import Prospero.GqlQuery (Mutation, Query, Subscription)

910import Prospero.InputValue (class FromInputValue)

1011import Prospero.Metadata (Defaulted, Deprecated, Described, Enum, InputObject, Interface, Object, Scalar, Union, class IsGql)

test/golden/codegen/deprecated-field.golden+1

@@ -5,6 +5,7 @@ import Prelude

55import Data.Generic.Rep (class Generic)

66import Data.Maybe (Maybe)

77import Data.Newtype (class Newtype)

8+import Data.Variant (Variant)

89import Prospero.GqlQuery (Mutation, Query, Subscription)

910import Prospero.InputValue (class FromInputValue)

1011import Prospero.Metadata (Defaulted, Deprecated, Described, Enum, InputObject, Interface, Object, Scalar, Union, class IsGql)

test/golden/codegen/described-and-deprecated.golden+1

@@ -5,6 +5,7 @@ import Prelude

55import Data.Generic.Rep (class Generic)

66import Data.Maybe (Maybe)

77import Data.Newtype (class Newtype)

8+import Data.Variant (Variant)

89import Prospero.GqlQuery (Mutation, Query, Subscription)

910import Prospero.InputValue (class FromInputValue)

1011import Prospero.Metadata (Defaulted, Deprecated, Described, Enum, InputObject, Interface, Object, Scalar, Union, class IsGql)

test/golden/codegen/described-enum.golden+1

@@ -5,6 +5,7 @@ import Prelude

55import Data.Generic.Rep (class Generic)

66import Data.Maybe (Maybe)

77import Data.Newtype (class Newtype)

8+import Data.Variant (Variant)

89import Prospero.GqlQuery (Mutation, Query, Subscription)

910import Prospero.InputValue (class FromInputValue)

1011import Prospero.Metadata (Defaulted, Deprecated, Described, Enum, InputObject, Interface, Object, Scalar, Union, class IsGql)

test/golden/codegen/described-field.golden+1

@@ -5,6 +5,7 @@ import Prelude

55import Data.Generic.Rep (class Generic)

66import Data.Maybe (Maybe)

77import Data.Newtype (class Newtype)

8+import Data.Variant (Variant)

89import Prospero.GqlQuery (Mutation, Query, Subscription)

910import Prospero.InputValue (class FromInputValue)

1011import Prospero.Metadata (Defaulted, Deprecated, Described, Enum, InputObject, Interface, Object, Scalar, Union, class IsGql)

test/golden/codegen/described-query-field.golden+1

@@ -5,6 +5,7 @@ import Prelude

55import Data.Generic.Rep (class Generic)

66import Data.Maybe (Maybe)

77import Data.Newtype (class Newtype)

8+import Data.Variant (Variant)

89import Prospero.GqlQuery (Mutation, Query, Subscription)

910import Prospero.InputValue (class FromInputValue)

1011import Prospero.Metadata (Defaulted, Deprecated, Described, Enum, InputObject, Interface, Object, Scalar, Union, class IsGql)

test/golden/codegen/enum.golden+1

@@ -5,6 +5,7 @@ import Prelude

55import Data.Generic.Rep (class Generic)

66import Data.Maybe (Maybe)

77import Data.Newtype (class Newtype)

8+import Data.Variant (Variant)

89import Prospero.GqlQuery (Mutation, Query, Subscription)

910import Prospero.InputValue (class FromInputValue)

1011import Prospero.Metadata (Defaulted, Deprecated, Described, Enum, InputObject, Interface, Object, Scalar, Union, class IsGql)

test/golden/codegen/float-and-boolean.golden+1

@@ -5,6 +5,7 @@ import Prelude

55import Data.Generic.Rep (class Generic)

66import Data.Maybe (Maybe)

77import Data.Newtype (class Newtype)

8+import Data.Variant (Variant)

89import Prospero.GqlQuery (Mutation, Query, Subscription)

910import Prospero.InputValue (class FromInputValue)

1011import Prospero.Metadata (Defaulted, Deprecated, Described, Enum, InputObject, Interface, Object, Scalar, Union, class IsGql)

test/golden/codegen/full-schema.golden+3−2

@@ -13,6 +13,7 @@ import Prelude

1313import Data.Generic.Rep (class Generic)

1414import Data.Maybe (Maybe)

1515import Data.Newtype (class Newtype)

16+import Data.Variant (Variant)

1617import Prospero.GqlQuery (Mutation, Query, Subscription)

1718import Prospero.InputValue (class FromInputValue)

1819import Prospero.Metadata (Defaulted, Deprecated, Described, Enum, InputObject, Interface, Object, Scalar, Union, class IsGql)

@@ -53,9 +54,9 @@ instance IsGql InputObject "CreateUserInput" CreateUserInput

5354instance FromInputValue CreateUserInput where

5455 fromInputValue = newtypeFromInputValue

5556

56−data SearchResult = UserResult User | PostResult Post

57+newtype SearchResult = SearchResult (Variant (User :: User, Post :: Post))

5758

58−derive instance Generic SearchResult _

59+derive instance Newtype SearchResult _

5960instance IsGql Union "SearchResult" SearchResult

6061type Schema =

6162 { hello :: Query Unit String # Described "Get greeting"

test/golden/codegen/id-scalar.golden+1

@@ -5,6 +5,7 @@ import Prelude

55import Data.Generic.Rep (class Generic)

66import Data.Maybe (Maybe)

77import Data.Newtype (class Newtype)

8+import Data.Variant (Variant)

89import Prospero.GqlQuery (Mutation, Query, Subscription)

910import Prospero.InputValue (class FromInputValue)

1011import Prospero.Metadata (Defaulted, Deprecated, Described, Enum, InputObject, Interface, Object, Scalar, Union, class IsGql)

test/golden/codegen/input-object.golden+1

@@ -5,6 +5,7 @@ import Prelude

55import Data.Generic.Rep (class Generic)

66import Data.Maybe (Maybe)

77import Data.Newtype (class Newtype)

8+import Data.Variant (Variant)

89import Prospero.GqlQuery (Mutation, Query, Subscription)

910import Prospero.InputValue (class FromInputValue)

1011import Prospero.Metadata (Defaulted, Deprecated, Described, Enum, InputObject, Interface, Object, Scalar, Union, class IsGql)

test/golden/codegen/interface.golden+1

@@ -5,6 +5,7 @@ import Prelude

55import Data.Generic.Rep (class Generic)

66import Data.Maybe (Maybe)

77import Data.Newtype (class Newtype)

8+import Data.Variant (Variant)

89import Prospero.GqlQuery (Mutation, Query, Subscription)

910import Prospero.InputValue (class FromInputValue)

1011import Prospero.Metadata (Defaulted, Deprecated, Described, Enum, InputObject, Interface, Object, Scalar, Union, class IsGql)

test/golden/codegen/keyword-fields.golden+1

@@ -5,6 +5,7 @@ import Prelude

55import Data.Generic.Rep (class Generic)

66import Data.Maybe (Maybe)

77import Data.Newtype (class Newtype)

8+import Data.Variant (Variant)

89import Prospero.GqlQuery (Mutation, Query, Subscription)

910import Prospero.InputValue (class FromInputValue)

1011import Prospero.Metadata (Defaulted, Deprecated, Described, Enum, InputObject, Interface, Object, Scalar, Union, class IsGql)

test/golden/codegen/list-nullability-variants.golden+1

@@ -5,6 +5,7 @@ import Prelude

55import Data.Generic.Rep (class Generic)

66import Data.Maybe (Maybe)

77import Data.Newtype (class Newtype)

8+import Data.Variant (Variant)

89import Prospero.GqlQuery (Mutation, Query, Subscription)

910import Prospero.InputValue (class FromInputValue)

1011import Prospero.Metadata (Defaulted, Deprecated, Described, Enum, InputObject, Interface, Object, Scalar, Union, class IsGql)

test/golden/codegen/list.golden+1

@@ -5,6 +5,7 @@ import Prelude

55import Data.Generic.Rep (class Generic)

66import Data.Maybe (Maybe)

77import Data.Newtype (class Newtype)

8+import Data.Variant (Variant)

89import Prospero.GqlQuery (Mutation, Query, Subscription)

910import Prospero.InputValue (class FromInputValue)

1011import Prospero.Metadata (Defaulted, Deprecated, Described, Enum, InputObject, Interface, Object, Scalar, Union, class IsGql)

test/golden/codegen/module-name.golden+1

@@ -5,6 +5,7 @@ import Prelude

55import Data.Generic.Rep (class Generic)

66import Data.Maybe (Maybe)

77import Data.Newtype (class Newtype)

8+import Data.Variant (Variant)

89import Prospero.GqlQuery (Mutation, Query, Subscription)

910import Prospero.InputValue (class FromInputValue)

1011import Prospero.Metadata (Defaulted, Deprecated, Described, Enum, InputObject, Interface, Object, Scalar, Union, class IsGql)

test/golden/codegen/multiple-args.golden+1

@@ -5,6 +5,7 @@ import Prelude

55import Data.Generic.Rep (class Generic)

66import Data.Maybe (Maybe)

77import Data.Newtype (class Newtype)

8+import Data.Variant (Variant)

89import Prospero.GqlQuery (Mutation, Query, Subscription)

910import Prospero.InputValue (class FromInputValue)

1011import Prospero.Metadata (Defaulted, Deprecated, Described, Enum, InputObject, Interface, Object, Scalar, Union, class IsGql)

test/golden/codegen/mutation.golden+1

@@ -5,6 +5,7 @@ import Prelude

55import Data.Generic.Rep (class Generic)

66import Data.Maybe (Maybe)

77import Data.Newtype (class Newtype)

8+import Data.Variant (Variant)

89import Prospero.GqlQuery (Mutation, Query, Subscription)

910import Prospero.InputValue (class FromInputValue)

1011import Prospero.Metadata (Defaulted, Deprecated, Described, Enum, InputObject, Interface, Object, Scalar, Union, class IsGql)

test/golden/codegen/nested-list.golden+1

@@ -5,6 +5,7 @@ import Prelude

55import Data.Generic.Rep (class Generic)

66import Data.Maybe (Maybe)

77import Data.Newtype (class Newtype)

8+import Data.Variant (Variant)

89import Prospero.GqlQuery (Mutation, Query, Subscription)

910import Prospero.InputValue (class FromInputValue)

1011import Prospero.Metadata (Defaulted, Deprecated, Described, Enum, InputObject, Interface, Object, Scalar, Union, class IsGql)

test/golden/codegen/nullable-list.golden+1

@@ -5,6 +5,7 @@ import Prelude

55import Data.Generic.Rep (class Generic)

66import Data.Maybe (Maybe)

77import Data.Newtype (class Newtype)

8+import Data.Variant (Variant)

89import Prospero.GqlQuery (Mutation, Query, Subscription)

910import Prospero.InputValue (class FromInputValue)

1011import Prospero.Metadata (Defaulted, Deprecated, Described, Enum, InputObject, Interface, Object, Scalar, Union, class IsGql)

test/golden/codegen/nullable.golden+1

@@ -5,6 +5,7 @@ import Prelude

55import Data.Generic.Rep (class Generic)

66import Data.Maybe (Maybe)

77import Data.Newtype (class Newtype)

8+import Data.Variant (Variant)

89import Prospero.GqlQuery (Mutation, Query, Subscription)

910import Prospero.InputValue (class FromInputValue)

1011import Prospero.Metadata (Defaulted, Deprecated, Described, Enum, InputObject, Interface, Object, Scalar, Union, class IsGql)

test/golden/codegen/object.golden+1

@@ -5,6 +5,7 @@ import Prelude

55import Data.Generic.Rep (class Generic)

66import Data.Maybe (Maybe)

77import Data.Newtype (class Newtype)

8+import Data.Variant (Variant)

89import Prospero.GqlQuery (Mutation, Query, Subscription)

910import Prospero.InputValue (class FromInputValue)

1011import Prospero.Metadata (Defaulted, Deprecated, Described, Enum, InputObject, Interface, Object, Scalar, Union, class IsGql)

test/golden/codegen/plain-no-metadata.golden+1

@@ -5,6 +5,7 @@ import Prelude

55import Data.Generic.Rep (class Generic)

66import Data.Maybe (Maybe)

77import Data.Newtype (class Newtype)

8+import Data.Variant (Variant)

89import Prospero.GqlQuery (Mutation, Query, Subscription)

910import Prospero.InputValue (class FromInputValue)

1011import Prospero.Metadata (Defaulted, Deprecated, Described, Enum, InputObject, Interface, Object, Scalar, Union, class IsGql)

test/golden/codegen/recursive-type.golden+1

@@ -5,6 +5,7 @@ import Prelude

55import Data.Generic.Rep (class Generic)

66import Data.Maybe (Maybe)

77import Data.Newtype (class Newtype)

8+import Data.Variant (Variant)

89import Prospero.GqlQuery (Mutation, Query, Subscription)

910import Prospero.InputValue (class FromInputValue)

1011import Prospero.Metadata (Defaulted, Deprecated, Described, Enum, InputObject, Interface, Object, Scalar, Union, class IsGql)

test/golden/codegen/roundtrip-profile.golden+1

@@ -5,6 +5,7 @@ import Prelude

55import Data.Generic.Rep (class Generic)

66import Data.Maybe (Maybe)

77import Data.Newtype (class Newtype)

8+import Data.Variant (Variant)

89import Prospero.GqlQuery (Mutation, Query, Subscription)

910import Prospero.InputValue (class FromInputValue)

1011import Prospero.Metadata (Defaulted, Deprecated, Described, Enum, InputObject, Interface, Object, Scalar, Union, class IsGql)

test/golden/codegen/scalar.golden+1

@@ -5,6 +5,7 @@ import Prelude

55import Data.Generic.Rep (class Generic)

66import Data.Maybe (Maybe)

77import Data.Newtype (class Newtype)

8+import Data.Variant (Variant)

89import Prospero.GqlQuery (Mutation, Query, Subscription)

910import Prospero.InputValue (class FromInputValue)

1011import Prospero.Metadata (Defaulted, Deprecated, Described, Enum, InputObject, Interface, Object, Scalar, Union, class IsGql)

test/golden/codegen/schema.golden+1

@@ -5,6 +5,7 @@ import Prelude

55import Data.Generic.Rep (class Generic)

66import Data.Maybe (Maybe)

77import Data.Newtype (class Newtype)

8+import Data.Variant (Variant)

89import Prospero.GqlQuery (Mutation, Query, Subscription)

910import Prospero.InputValue (class FromInputValue)

1011import Prospero.Metadata (Defaulted, Deprecated, Described, Enum, InputObject, Interface, Object, Scalar, Union, class IsGql)

test/golden/codegen/subscription.golden+1

@@ -5,6 +5,7 @@ import Prelude

55import Data.Generic.Rep (class Generic)

66import Data.Maybe (Maybe)

77import Data.Newtype (class Newtype)

8+import Data.Variant (Variant)

89import Prospero.GqlQuery (Mutation, Query, Subscription)

910import Prospero.InputValue (class FromInputValue)

1011import Prospero.Metadata (Defaulted, Deprecated, Described, Enum, InputObject, Interface, Object, Scalar, Union, class IsGql)

test/golden/codegen/union.golden+3−2

@@ -5,6 +5,7 @@ import Prelude

55import Data.Generic.Rep (class Generic)

66import Data.Maybe (Maybe)

77import Data.Newtype (class Newtype)

8+import Data.Variant (Variant)

89import Prospero.GqlQuery (Mutation, Query, Subscription)

910import Prospero.InputValue (class FromInputValue)

1011import Prospero.Metadata (Defaulted, Deprecated, Described, Enum, InputObject, Interface, Object, Scalar, Union, class IsGql)

@@ -20,8 +21,8 @@ newtype Dog = Dog { name :: String }

2021

2122derive instance Newtype Dog _

2223instance IsGql Object "Dog" Dog

23−data Animal = CatResult Cat | DogResult Dog

24+newtype Animal = Animal (Variant (Cat :: Cat, Dog :: Dog))

2425

25−derive instance Generic Animal _

26+derive instance Newtype Animal _

2627instance IsGql Union "Animal" Animal

2728type Schema = { animal :: Query Unit Animal }