From a1f1225f7ddb479f0411f24c11c04792e9059f0b Mon Sep 17 00:00:00 2001
From: Tom Sydney Kerckhove <syd@cs-syd.eu>
Date: Fri, 5 Nov 2021 16:31:08 +0100
Subject: [PATCH] use strict data in the codec module

---
 autodocodec/autodocodec.cabal        |  1 +
 autodocodec/package.yaml             |  1 +
 autodocodec/src/Autodocodec/Codec.hs | 30 +++++++++++++++-------------
 3 files changed, 18 insertions(+), 14 deletions(-)

diff --git a/autodocodec/autodocodec.cabal b/autodocodec/autodocodec.cabal
index a39fa61..9e41ee1 100644
--- a/autodocodec/autodocodec.cabal
+++ b/autodocodec/autodocodec.cabal
@@ -37,6 +37,7 @@ library
     , containers
     , mtl
     , scientific
+    , swagger
     , text
     , vector
   default-language: Haskell2010
diff --git a/autodocodec/package.yaml b/autodocodec/package.yaml
index c8dda2d..52d890a 100644
--- a/autodocodec/package.yaml
+++ b/autodocodec/package.yaml
@@ -19,5 +19,6 @@ library:
   - containers
   - mtl
   - scientific
+  - swagger
   - text
   - vector
diff --git a/autodocodec/src/Autodocodec/Codec.hs b/autodocodec/src/Autodocodec/Codec.hs
index 7fdf95a..9ae3276 100644
--- a/autodocodec/src/Autodocodec/Codec.hs
+++ b/autodocodec/src/Autodocodec/Codec.hs
@@ -2,7 +2,9 @@
 {-# LANGUAGE GADTs #-}
 {-# LANGUAGE LambdaCase #-}
 {-# LANGUAGE RankNTypes #-}
+{-# LANGUAGE RoleAnnotations #-}
 {-# LANGUAGE ScopedTypeVariables #-}
+{-# LANGUAGE StrictData #-}
 
 module Autodocodec.Codec where
 
@@ -39,7 +41,7 @@ data Codec context input output where
   -- | Encode a 'Bool' to a @boolean@ value, and decode a @boolean@ value as a 'Bool'.
   BoolCodec ::
     -- | Name of the @bool@, for error messages and documentation.
-    !(Maybe Text) ->
+    (Maybe Text) ->
     -- |
     ValueCodec Bool Bool
   -- | Encode 'Text' to a @string@ value, and decode a @string@ value as a 'Text'.
@@ -47,7 +49,7 @@ data Codec context input output where
   -- This is named after the primitive type "String" in json, not after the haskell type string.
   StringCodec ::
     -- | Name of the @string@, for error messages and documentation.
-    !(Maybe Text) ->
+    (Maybe Text) ->
     -- |
     ValueCodec Text Text
   -- | Encode 'Scientific' to a @number@ value, and decode a @number@ value as a 'Scientific'.
@@ -55,23 +57,23 @@ data Codec context input output where
   -- NOTE: We use 'Scientific' here because that is what aeson uses.
   NumberCodec ::
     -- | Name of the @number@, for error messages and documentation.
-    !(Maybe Text) ->
+    (Maybe Text) ->
     -- |
     ValueCodec Scientific Scientific
   -- | Encode a 'Vector' of values as an @array@ value, and decode an @array@ value as a 'Vector' of values.
   ArrayOfCodec ::
     -- | Name of the @array@, for error messages and documentation.
-    !(Maybe Text) ->
+    (Maybe Text) ->
     -- |
-    !(ValueCodec input output) ->
+    (ValueCodec input output) ->
     -- |
     ValueCodec (Vector input) (Vector output)
   -- | Encode a value as a an @object@ value using the given 'ObjectCodec', and decode an @object@ value as a value using the given 'ObjectCodec'.
   ObjectOfCodec ::
     -- | Name of the @object@, for error messages and documentation.
-    !(Maybe Text) ->
+    (Maybe Text) ->
     -- |
-    !(ObjectCodec input output) ->
+    (ObjectCodec input output) ->
     -- |
     ValueCodec input output
   -- | Encode a 'JSON.Object', and decode any 'JSON.Object'.
@@ -86,9 +88,9 @@ data Codec context input output where
   EqCodec ::
     (Show value, Eq value) =>
     -- | Value to match
-    !value ->
+    value ->
     -- | Codec for the value
-    !(ValueCodec value value) ->
+    (ValueCodec value value) ->
     -- |
     ValueCodec value value
   -- | Map a codec in both directions.
@@ -98,11 +100,11 @@ data Codec context input output where
   -- Otherwise we would have to have another constructor here.
   MapCodec ::
     -- |
-    !(oldOutput -> Either String newOutput) ->
+    (oldOutput -> Either String newOutput) ->
     -- |
-    !(newInput -> oldInput) ->
+    (newInput -> oldInput) ->
     -- |
-    !(Codec context oldInput oldOutput) ->
+    (Codec context oldInput oldOutput) ->
     Codec context newInput newOutput
   -- | Encode/Decode an 'Either' value
   --
@@ -113,9 +115,9 @@ data Codec context input output where
   -- This codec is used to implement choice.
   EitherCodec ::
     -- | Codec for the 'Left' side
-    !(ValueCodec input1 output1) ->
+    (ValueCodec input1 output1) ->
     -- | Codec for the 'Right' side
-    !(ValueCodec input2 output2) ->
+    (ValueCodec input2 output2) ->
     -- |
     ValueCodec (Either input1 input2) (Either output1 output2)
   -- | A comment codec