diff --git a/wip/haddock/mu-avro/mu-avro.haddock b/wip/haddock/mu-avro/mu-avro.haddock
index 36d6836..4e02d03 100644
Binary files a/wip/haddock/mu-avro/mu-avro.haddock and b/wip/haddock/mu-avro/mu-avro.haddock differ
diff --git a/wip/haddock/mu-graphql/mu-graphql.haddock b/wip/haddock/mu-graphql/mu-graphql.haddock
index 34a8df9..f974fe3 100644
Binary files a/wip/haddock/mu-graphql/mu-graphql.haddock and b/wip/haddock/mu-graphql/mu-graphql.haddock differ
diff --git a/wip/haddock/mu-graphql/src/Mu.GraphQL.Annotations.html b/wip/haddock/mu-graphql/src/Mu.GraphQL.Annotations.html
index fffe054..616acc7 100644
--- a/wip/haddock/mu-graphql/src/Mu.GraphQL.Annotations.html
+++ b/wip/haddock/mu-graphql/src/Mu.GraphQL.Annotations.html
@@ -38,24 +38,24 @@ to provide this additional information.
-data ValueConst nat symbol
- = VCInt nat
- | VCString symbol
+data ValueConst nat symbol
+ = VCInt nat
+ | VCString symbol
| VCBoolean Bool
| VCNull
- | VCEnum symbol
- | VCList [ValueConst nat symbol]
- | VCObject [(symbol, ValueConst nat symbol)]
+ | VCEnum symbol
+ | VCList [ValueConst nat symbol]
+ | VCObject [(symbol, ValueConst nat symbol)]
-fromGQLValueConst :: forall f. Alternative f
- => GQL.ConstValue -> f (ValueConst Integer String)
+fromGQLValueConst :: forall f. Alternative f
+ => GQL.ConstValue -> f (ValueConst Integer String)
fromGQLValueConst :: ConstValue -> f (ValueConst Integer String)
-fromGQLValueConst (GQL.ConstInt Int32
-n)
+fromGQLValueConst (GQL.ConstInt Int32
+n)
= ValueConst Integer String -> f (ValueConst Integer String)
forall (f :: * -> *) a. Applicative f => a -> f a
pure (ValueConst Integer String -> f (ValueConst Integer String))
@@ -66,9 +66,9 @@ forall nat symbol. nat -> ValueConst nat symbol
VCInt (Int32 -> Integer
forall a b. (Integral a, Num b) => a -> b
fromIntegral Int32
-n)
-fromGQLValueConst (GQL.ConstString Text
-s)
+n)
+fromGQLValueConst (GQL.ConstString Text
+s)
= ValueConst Integer String -> f (ValueConst Integer String)
forall (f :: * -> *) a. Applicative f => a -> f a
pure (ValueConst Integer String -> f (ValueConst Integer String))
@@ -81,9 +81,9 @@ forall nat symbol. symbol -> ValueConst nat symbol
forall a b. (a -> b) -> a -> b
$ Text -> String
T.unpack Text
-s
-fromGQLValueConst (GQL.ConstBoolean Bool
-b)
+s
+fromGQLValueConst (GQL.ConstBoolean Bool
+b)
= ValueConst Integer String -> f (ValueConst Integer String)
forall (f :: * -> *) a. Applicative f => a -> f a
pure (ValueConst Integer String -> f (ValueConst Integer String))
@@ -92,7 +92,7 @@ forall a b. (a -> b) -> a -> b
$ Bool -> ValueConst Integer String
forall nat symbol. Bool -> ValueConst nat symbol
VCBoolean Bool
-b
+b
fromGQLValueConst ConstValue
GQL.ConstNull
= ValueConst Integer String -> f (ValueConst Integer String)
@@ -100,8 +100,8 @@ forall (f :: * -> *) a. Applicative f => a -> f a
pure ValueConst Integer String
forall nat symbol. ValueConst nat symbol
VCNull
-fromGQLValueConst (GQL.ConstEnum Text
-s)
+fromGQLValueConst (GQL.ConstEnum Text
+s)
= ValueConst Integer String -> f (ValueConst Integer String)
forall (f :: * -> *) a. Applicative f => a -> f a
pure (ValueConst Integer String -> f (ValueConst Integer String))
@@ -114,9 +114,9 @@ forall nat symbol. symbol -> ValueConst nat symbol
forall a b. (a -> b) -> a -> b
$ Text -> String
T.unpack Text
-s
-fromGQLValueConst (GQL.ConstList [Node ConstValue]
-xs)
+s
+fromGQLValueConst (GQL.ConstList [Node ConstValue]
+xs)
= [ValueConst Integer String] -> ValueConst Integer String
forall nat symbol. [ValueConst nat symbol] -> ValueConst nat symbol
VCList ([ValueConst Integer String] -> ValueConst Integer String)
@@ -139,9 +139,9 @@ forall b c a. (b -> c) -> (a -> b) -> a -> c
. Node ConstValue -> ConstValue
forall a. Node a -> a
GQL.node) [Node ConstValue]
-xs
-fromGQLValueConst (GQL.ConstObject [ObjectField ConstValue]
-o)
+xs
+fromGQLValueConst (GQL.ConstObject [ObjectField ConstValue]
+o)
= [(String, ValueConst Integer String)] -> ValueConst Integer String
forall nat symbol.
[(symbol, ValueConst nat symbol)] -> ValueConst nat symbol
@@ -157,19 +157,19 @@ forall (t :: * -> *) (f :: * -> *) a b.
(Traversable t, Applicative f) =>
(a -> f b) -> t a -> f (t b)
traverse ObjectField ConstValue -> f (String, ValueConst Integer String)
-fromGQLField [ObjectField ConstValue]
-o
- where fromGQLField :: GQL.ObjectField GQL.ConstValue
- -> f (String, ValueConst Integer String)
- fromGQLField :: ObjectField ConstValue -> f (String, ValueConst Integer String)
-fromGQLField (GQL.ObjectField Text
-n (GQL.Node ConstValue
-v Location
+fromGQLField [ObjectField ConstValue]
+o
+ where fromGQLField :: GQL.ObjectField GQL.ConstValue
+ -> f (String, ValueConst Integer String)
+ fromGQLField :: ObjectField ConstValue -> f (String, ValueConst Integer String)
+fromGQLField (GQL.ObjectField Text
+n (GQL.Node ConstValue
+v Location
_) Location
_)
= (Text -> String
T.unpack Text
-n,) (ValueConst Integer String -> (String, ValueConst Integer String))
+n,) (ValueConst Integer String -> (String, ValueConst Integer String))
-> f (ValueConst Integer String)
-> f (String, ValueConst Integer String)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
@@ -178,7 +178,7 @@ forall (f :: * -> *).
Alternative f =>
ConstValue -> f (ValueConst Integer String)
fromGQLValueConst ConstValue
-v
+v
fromGQLValueConst ConstValue
_ = f (ValueConst Integer String)
forall (f :: * -> *) a. Alternative f => f a
@@ -188,13 +188,13 @@ forall (f :: * -> *) a. Alternative f => f a
-class ReflectValueConst (v :: ValueConst nat symbol) where
+class ReflectValueConst (v :: ValueConst nat symbol) where
- reflectValueConst :: proxy v -> GQL.ConstValue
-instance KnownNat n => ReflectValueConst ('VCInt n) where
- reflectValueConst :: proxy ('VCInt n) -> ConstValue
-reflectValueConst proxy ('VCInt n)
+ reflectValueConst :: proxy v -> GQL.ConstValue
+instance KnownNat n => ReflectValueConst ('VCInt n) where
+ reflectValueConst :: proxy ('VCInt n) -> ConstValue
+reflectValueConst proxy ('VCInt n)
_ = Int32 -> ConstValue
GQL.ConstInt (Int32 -> ConstValue) -> Int32 -> ConstValue
forall a b. (a -> b) -> a -> b
@@ -208,10 +208,10 @@ KnownNat n =>
proxy n -> Integer
natVal (Proxy n
forall k (t :: k). Proxy t
-Proxy @n)
-instance KnownSymbol s => ReflectValueConst ('VCString s) where
- reflectValueConst :: proxy ('VCString s) -> ConstValue
-reflectValueConst proxy ('VCString s)
+Proxy @n)
+instance KnownSymbol s => ReflectValueConst ('VCString s) where
+ reflectValueConst :: proxy ('VCString s) -> ConstValue
+reflectValueConst proxy ('VCString s)
_ = Text -> ConstValue
GQL.ConstString (Text -> ConstValue) -> Text -> ConstValue
forall a b. (a -> b) -> a -> b
@@ -224,27 +224,27 @@ KnownSymbol n =>
proxy n -> String
symbolVal (Proxy s
forall k (t :: k). Proxy t
-Proxy @s)
+Proxy @s)
instance ReflectValueConst ('VCBoolean 'True) where
- reflectValueConst :: proxy ('VCBoolean 'True) -> ConstValue
-reflectValueConst proxy ('VCBoolean 'True)
+ reflectValueConst :: proxy ('VCBoolean 'True) -> ConstValue
+reflectValueConst proxy ('VCBoolean 'True)
_ = Bool -> ConstValue
GQL.ConstBoolean Bool
True
instance ReflectValueConst ('VCBoolean 'False) where
- reflectValueConst :: proxy ('VCBoolean 'False) -> ConstValue
-reflectValueConst proxy ('VCBoolean 'False)
+ reflectValueConst :: proxy ('VCBoolean 'False) -> ConstValue
+reflectValueConst proxy ('VCBoolean 'False)
_ = Bool -> ConstValue
GQL.ConstBoolean Bool
False
instance ReflectValueConst 'VCNull where
- reflectValueConst :: proxy 'VCNull -> ConstValue
-reflectValueConst proxy 'VCNull
+ reflectValueConst :: proxy 'VCNull -> ConstValue
+reflectValueConst proxy 'VCNull
_ = ConstValue
GQL.ConstNull
-instance KnownSymbol e => ReflectValueConst ('VCEnum e) where
- reflectValueConst :: proxy ('VCEnum e) -> ConstValue
-reflectValueConst proxy ('VCEnum e)
+instance KnownSymbol e => ReflectValueConst ('VCEnum e) where
+ reflectValueConst :: proxy ('VCEnum e) -> ConstValue
+reflectValueConst proxy ('VCEnum e)
_ = Text -> ConstValue
GQL.ConstString (Text -> ConstValue) -> Text -> ConstValue
forall a b. (a -> b) -> a -> b
@@ -257,10 +257,10 @@ KnownSymbol n =>
proxy n -> String
symbolVal (Proxy e
forall k (t :: k). Proxy t
-Proxy @e)
-instance ReflectValueConstList xs => ReflectValueConst ('VCList xs) where
- reflectValueConst :: proxy ('VCList xs) -> ConstValue
-reflectValueConst proxy ('VCList xs)
+Proxy @e)
+instance ReflectValueConstList xs => ReflectValueConst ('VCList xs) where
+ reflectValueConst :: proxy ('VCList xs) -> ConstValue
+reflectValueConst proxy ('VCList xs)
_ = [Node ConstValue] -> ConstValue
GQL.ConstList ([Node ConstValue] -> ConstValue)
-> [Node ConstValue] -> ConstValue
@@ -283,10 +283,10 @@ ReflectValueConstList xs =>
proxy xs -> [ConstValue]
reflectValueConstList (Proxy xs
forall k (t :: k). Proxy t
-Proxy @xs)
-instance ReflectValueConstObject xs => ReflectValueConst ('VCObject xs) where
- reflectValueConst :: proxy ('VCObject xs) -> ConstValue
-reflectValueConst proxy ('VCObject xs)
+Proxy @xs)
+instance ReflectValueConstObject xs => ReflectValueConst ('VCObject xs) where
+ reflectValueConst :: proxy ('VCObject xs) -> ConstValue
+reflectValueConst proxy ('VCObject xs)
_ = [ObjectField ConstValue] -> ConstValue
GQL.ConstObject ([ObjectField ConstValue] -> ConstValue)
-> [ObjectField ConstValue] -> ConstValue
@@ -297,18 +297,18 @@ ReflectValueConstObject xs =>
proxy xs -> [ObjectField ConstValue]
reflectValueConstObject (Proxy xs
forall k (t :: k). Proxy t
-Proxy @xs)
+Proxy @xs)
-class ReflectValueConstList xs where
- reflectValueConstList :: proxy xs -> [GQL.ConstValue]
+class ReflectValueConstList xs where
+ reflectValueConstList :: proxy xs -> [GQL.ConstValue]
instance ReflectValueConstList '[] where
- reflectValueConstList :: proxy '[] -> [ConstValue]
-reflectValueConstList proxy '[]
+ reflectValueConstList :: proxy '[] -> [ConstValue]
+reflectValueConstList proxy '[]
_ = []
-instance (ReflectValueConst x, ReflectValueConstList xs)
- => ReflectValueConstList (x ': xs) where
- reflectValueConstList :: proxy (x : xs) -> [ConstValue]
-reflectValueConstList proxy (x : xs)
+instance (ReflectValueConst x, ReflectValueConstList xs)
+ => ReflectValueConstList (x ': xs) where
+ reflectValueConstList :: proxy (x : xs) -> [ConstValue]
+reflectValueConstList proxy (x : xs)
_
= Proxy x -> ConstValue
forall nat symbol (v :: ValueConst nat symbol)
@@ -317,7 +317,7 @@ ReflectValueConst v =>
proxy v -> ConstValue
reflectValueConst (Proxy x
forall k (t :: k). Proxy t
-Proxy @x) ConstValue -> [ConstValue] -> [ConstValue]
+Proxy @x) ConstValue -> [ConstValue] -> [ConstValue]
forall a. a -> [a] -> [a]
: Proxy xs -> [ConstValue]
forall k (xs :: k) (proxy :: k -> *).
@@ -325,18 +325,18 @@ ReflectValueConstList xs =>
proxy xs -> [ConstValue]
reflectValueConstList (Proxy xs
forall k (t :: k). Proxy t
-Proxy @xs)
+Proxy @xs)
-class ReflectValueConstObject xs where
- reflectValueConstObject :: proxy xs -> [GQL.ObjectField GQL.ConstValue]
+class ReflectValueConstObject xs where
+ reflectValueConstObject :: proxy xs -> [GQL.ObjectField GQL.ConstValue]
instance ReflectValueConstObject '[] where
- reflectValueConstObject :: proxy '[] -> [ObjectField ConstValue]
-reflectValueConstObject proxy '[]
+ reflectValueConstObject :: proxy '[] -> [ObjectField ConstValue]
+reflectValueConstObject proxy '[]
_ = []
-instance (KnownSymbol a, ReflectValueConst x, ReflectValueConstObject xs)
- => ReflectValueConstObject ( '(a, x) ': xs) where
- reflectValueConstObject :: proxy ('(a, x) : xs) -> [ObjectField ConstValue]
-reflectValueConstObject proxy ('(a, x) : xs)
+instance (KnownSymbol a, ReflectValueConst x, ReflectValueConstObject xs)
+ => ReflectValueConstObject ( '(a, x) ': xs) where
+ reflectValueConstObject :: proxy ('(a, x) : xs) -> [ObjectField ConstValue]
+reflectValueConstObject proxy ('(a, x) : xs)
_
= Text -> Node ConstValue -> Location -> ObjectField ConstValue
forall a. Text -> Node a -> Location -> ObjectField a
@@ -349,7 +349,7 @@ KnownSymbol n =>
proxy n -> String
symbolVal (Proxy a
forall k (t :: k). Proxy t
-Proxy @a))
+Proxy @a))
(ConstValue -> Location -> Node ConstValue
forall a. a -> Location -> Node a
GQL.Node (Proxy x -> ConstValue
@@ -359,10 +359,10 @@ ReflectValueConst v =>
proxy v -> ConstValue
reflectValueConst (Proxy x
forall k (t :: k). Proxy t
-Proxy @x)) Location
-zl)
+Proxy @x)) Location
+zl)
Location
-zl
+zl
ObjectField ConstValue
-> [ObjectField ConstValue] -> [ObjectField ConstValue]
forall a. a -> [a] -> [a]
@@ -372,9 +372,9 @@ ReflectValueConstObject xs =>
proxy xs -> [ObjectField ConstValue]
reflectValueConstObject (Proxy xs
forall k (t :: k). Proxy t
-Proxy @xs)
- where zl :: Location
-zl = Word -> Word -> Location
+Proxy @xs)
+ where zl :: Location
+zl = Word -> Word -> Location
GQL.Location Word
0 Word
0
diff --git a/wip/haddock/mu-graphql/src/Mu.GraphQL.Quasi.LostParser.html b/wip/haddock/mu-graphql/src/Mu.GraphQL.Quasi.LostParser.html
index 206a806..1170d71 100644
--- a/wip/haddock/mu-graphql/src/Mu.GraphQL.Quasi.LostParser.html
+++ b/wip/haddock/mu-graphql/src/Mu.GraphQL.Quasi.LostParser.html
@@ -12,8 +12,8 @@
parseDoc :: T.Text -> Either T.Text [GQL.Definition]
parseDoc :: Text -> Either Text [Definition]
-parseDoc Text
-s =
+parseDoc Text
+s =
case Parsec Void Text Document
-> String -> Text -> Either (ParseErrorBundle Text Void) Document
forall e s a.
@@ -21,16 +21,16 @@ Parsec e s a -> String -> s -> Either (ParseErrorBundle s e) a
runParser Parsec Void Text Document
document String
"<doc>" Text
-s of
- Right Document
-d -> [Definition] -> Either Text [Definition]
+s of
+ Right Document
+d -> [Definition] -> Either Text [Definition]
forall a b. b -> Either a b
Right (Document -> [Definition]
forall (t :: * -> *) a. Foldable t => t a -> [a]
toList Document
-d)
- Left ParseErrorBundle Text Void
-e -> Text -> Either Text [Definition]
+d)
+ Left ParseErrorBundle Text Void
+e -> Text -> Either Text [Definition]
forall a b. a -> Either a b
Left (String -> Text
T.pack (String -> Text) -> String -> Text
@@ -38,12 +38,12 @@ forall a b. (a -> b) -> a -> b
$ ParseErrorBundle Text Void -> String
forall a. Show a => a -> String
show ParseErrorBundle Text Void
-e)
+e)
parseTypeSysDefinition :: T.Text -> Either T.Text [GQL.TypeSystemDefinition]
parseTypeSysDefinition :: Text -> Either Text [TypeSystemDefinition]
-parseTypeSysDefinition Text
-s =
+parseTypeSysDefinition Text
+s =
case Parsec Void Text Document
-> String -> Text -> Either (ParseErrorBundle Text Void) Document
forall e s a.
@@ -51,36 +51,36 @@ Parsec e s a -> String -> s -> Either (ParseErrorBundle s e) a
runParser Parsec Void Text Document
document String
"<doc>" Text
-s of
+s of
Right (Document -> [Definition]
forall (t :: * -> *) a. Foldable t => t a -> [a]
-toList -> [Definition]
-d)
- -> let tds :: [TypeSystemDefinition]
-tds = [TypeSystemDefinition
-td | GQL.TypeSystemDefinition TypeSystemDefinition
-td Location
+toList -> [Definition]
+d)
+ -> let tds :: [TypeSystemDefinition]
+tds = [TypeSystemDefinition
+td | GQL.TypeSystemDefinition TypeSystemDefinition
+td Location
_ <- [Definition]
-d]
+d]
in if [Definition] -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length [Definition]
-d Int -> Int -> Bool
+d Int -> Int -> Bool
forall a. Eq a => a -> a -> Bool
== [TypeSystemDefinition] -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length [TypeSystemDefinition]
-tds
+tds
then [TypeSystemDefinition] -> Either Text [TypeSystemDefinition]
forall a b. b -> Either a b
Right [TypeSystemDefinition]
-tds
+tds
else Text -> Either Text [TypeSystemDefinition]
forall a b. a -> Either a b
Left Text
"unexpected query or type system extension"
- Left ParseErrorBundle Text Void
-e
+ Left ParseErrorBundle Text Void
+e
-> Text -> Either Text [TypeSystemDefinition]
forall a b. a -> Either a b
Left (String -> Text
@@ -89,5 +89,5 @@ forall a b. (a -> b) -> a -> b
$ ParseErrorBundle Text Void -> String
forall a. Show a => a -> String
show ParseErrorBundle Text Void
-e)
+e)