9d3ccf1 · rowtype-yoga/purescript-graphql

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

Updates for PureScript v0.14

commit9d3ccf1efbcc98cb592b7704973dd3a047e782e4 authorhendrikniemann <h.neverman@web.de> dateThu 4 Mar 2021, 12:55 (6 years ago) parent76c05e0

6 files changed+25−24

compare with master

unifiedsplit

packages.dhall+1−1 src/GraphQL/DSL.purs+13−14 src/GraphQL/Language/AST.purs+2−1 src/GraphQL/Type/Class.purs+1 src/GraphQL/Type/Introspection/Datatypes.purs+4−4 test/Execution.purs+4−4

packages.dhall+1−1

@@ -1,5 +1,5 @@

11let upstream =

2− https://github.com/purescript/package-sets/releases/download/psc-0.13.8-20200922/packages.dhall sha256:5edc9af74593eab8834d7e324e5868a3d258bbab75c5531d2eb770d4324a2900

2+ https://github.com/purescript/package-sets/releases/download/psc-0.14.0-20210302/packages.dhall sha256:20cc5b89cf15433623ad6f250f112bf7a6bd82b5972363ecff4abf1febb02c50

44let overrides = {=}

src/GraphQL/DSL.purs+13−14

@@ -5,12 +5,11 @@ import Prelude

55import Control.Monad.Error.Class (class MonadError, throwError)

66import Data.Argonaut (printJsonDecodeError)

77import Data.Argonaut as Json

8−import Data.Array (find)

98import Data.Array as Array

109import Data.Bifunctor (lmap)

1110import Data.Either (Either(..), note)

1211import Data.Enum (class Enum, enumFromTo)

13−import Data.List (List, fromFoldable)

12+import Data.List (List, fromFoldable, find)

1413import Data.Map (empty, insert, lookup)

1514import Data.Maybe (Maybe(..), fromMaybe)

1615import Data.Newtype (unwrap)

@@ -412,7 +411,7 @@ infixl 5 withField as :>

412411

413412-- | A type class that contrains the relationship between defined arguments and the _argument_

414413-- | parameter of a resolver.

415−class ArgsDefToArgsParam (argsd :: # Type) (argsp :: # Type)

414+class ArgsDefToArgsParam (argsd :: Row Type) (argsp :: Row Type)

416415 | argsd -> argsp

417416 , argsp -> argsd where

418417 argsFromDefinition ::

@@ -433,10 +432,10 @@ instance argsDefToArgsParamImpl ::

433432

434433-- | ArgsDefToArgsParam that works on row lists for matching implementations

435434class ArgsFromRows

436− (largsd :: RL.RowList)

437− (largsp :: RL.RowList)

438− (argsd :: # Type)

439− (argsp :: # Type)

435+ (largsd :: RL.RowList Type)

436+ (largsp :: RL.RowList Type)

437+ (argsd :: Row Type)

438+ (argsp :: Row Type)

440439 where

441440 argsFromRows ::

442441 RLProxy largsd ->

@@ -688,7 +687,7 @@ enumType name = EnumType { name, description: Nothing, values }

688687 EnumValue { name: show value, description: Nothing, value, isValue: eq value }

689688

690689

691−class UnionDefinition (defRow :: # Type) (varRow :: # Type) (ctx :: Type -> Type)

690+class UnionDefinition (defRow :: Row Type) (varRow :: Row Type) (ctx :: Type -> Type)

692691 | defRow -> varRow

693692 , varRow -> defRow where

694693 union ::

@@ -721,8 +720,8 @@ instance unionDefinitionInstance ::

721720

722721

723722class UnionIntrospection

724− (defRowList :: RL.RowList)

725− (defRow :: # Type)

723+ (defRowList :: RL.RowList Type)

724+ (defRow :: Row Type)

726725 where

727726 unionIntrospection ::

728727 RLProxy defRowList ->

@@ -755,10 +754,10 @@ else instance unionIntrospectionNil :: UnionIntrospection RL.Nil defRow where

755754

756755

757756class UnionResolver

758− (defRowList :: RL.RowList)

759− (varRowList :: RL.RowList)

760− (defRow :: # Type)

761− (varRow :: # Type)

757+ (defRowList :: RL.RowList Type)

758+ (varRowList :: RL.RowList Type)

759+ (defRow :: Row Type)

760+ (varRow :: Row Type)

762761 (ctx :: Type -> Type)

763762 where

764763 unionResolver ::

src/GraphQL/Language/AST.purs+2−1

@@ -1,10 +1,11 @@

11module GraphQL.Language.AST where

33import Prelude

45import Data.Generic.Rep (class Generic)

5−import Data.Generic.Rep.Show (genericShow)

66import Data.List (List)

77import Data.Maybe (Maybe)

8+import Data.Show.Generic (genericShow)

910data DocumentNode

1011 = DocumentNode { definitions :: List DefinitionNode }

src/GraphQL/Type/Class.purs+1

@@ -24,6 +24,7 @@ type ExecutionContext =

2424 }

2525

2626-- | The type class for all GraphQL types

27+class GraphQLType :: forall k. (k -> Type) -> Constraint

2728class GraphQLType t where

2829 introspect :: forall a. t a -> IntrospectionTypes.TypeIntrospection

2930

src/GraphQL/Type/Introspection/Datatypes.purs+4−4

@@ -4,10 +4,10 @@ import Prelude

55import Data.Enum (class Enum)

66import Data.Generic.Rep (class Generic)

7−import Data.Generic.Rep.Bounded (genericBottom, genericTop)

8−import Data.Generic.Rep.Enum (genericPred, genericSucc)

9−import Data.Generic.Rep.Eq (genericEq)

10−import Data.Generic.Rep.Ord (genericCompare)

7+import Data.Bounded.Generic (genericBottom, genericTop)

8+import Data.Enum.Generic (genericPred, genericSucc)

9+import Data.Eq.Generic (genericEq)

10+import Data.Ord.Generic (genericCompare)

1111import Data.Maybe (Maybe(..))

1212import Data.Newtype (class Newtype)

1313

test/Execution.purs+4−4

@@ -6,11 +6,11 @@ import Data.Argonaut.Core (stringify)

66import Data.Argonaut.Core as Json

77import Data.Either (Either(..), either)

88import Data.Enum (class Enum)

9+import Data.Bounded.Generic (genericBottom, genericTop)

10+import Data.Enum.Generic (genericPred, genericSucc)

11+import Data.Eq.Generic (genericEq)

912import Data.Generic.Rep (class Generic)

10−import Data.Generic.Rep.Bounded (genericBottom, genericTop)

11−import Data.Generic.Rep.Enum (genericPred, genericSucc)

12−import Data.Generic.Rep.Eq (genericEq)

13−import Data.Generic.Rep.Ord (genericCompare)

13+import Data.Ord.Generic (genericCompare)

1414import Data.Map as Map

1515import Data.Maybe (Maybe(..), fromMaybe)

1616import Data.Newtype (class Newtype, unwrap)