diff --git a/notebooks/IHaskell.ipynb b/notebooks/IHaskell.ipynb index 476b35af..414e3a09 100644 --- a/notebooks/IHaskell.ipynb +++ b/notebooks/IHaskell.ipynb @@ -2221,11 +2221,13 @@ "For example, let's take the following Haskell data type:\n", "\n", "
\n",
+       ">>> :{\n",
        "data Project = Project\n",
        "{ projectName :: Text\n",
        ", projectDescription :: Text\n",
        ", projectStars :: Natural\n",
        "}\n",
+       ":}\n",
        "
\n", "\n", "And assume that we have the following Dhall record that we would like\n", @@ -2248,30 +2250,34 @@ "Project:\n", "\n", "
\n",
+       ">>> :{\n",
        "injectProject :: InputType Project\n",
        "injectProject =\n",
        "inputRecord\n",
-       "(  adapt >$< inputFieldWith \"name\" inject\n",
+       "( adapt >$< inputFieldWith \"name\" inject\n",
        ">*< inputFieldWith \"description\" inject\n",
        ">*< inputFieldWith \"stars\" inject\n",
        ")\n",
        "where\n",
        "adapt (Project{..}) = (projectName, (projectDescription, projectStars))\n",
+       ":}\n",
        "
\n", "\n", "Or, since we are simply using the Inject instance to inject\n", "each field, we could write\n", "\n", "
\n",
+       ">>> :{\n",
        "injectProject :: InputType Project\n",
        "injectProject =\n",
        "inputRecord\n",
-       "(  adapt >$< inputField \"name\"\n",
+       "( adapt >$< inputField \"name\"\n",
        ">*< inputField \"description\"\n",
        ">*< inputField \"stars\"\n",
        ")\n",
        "where\n",
        "adapt (Project{..}) = (projectName, (projectDescription, projectStars))\n",
+       ":}\n",
        "
\n", "\n", "Infix divided\n", @@ -2330,6 +2336,30 @@ "\n", "(><) ∷ ProductIsoApplicative p ⇒ p a → p b → p (a, b)
Binary operator the same as projectZip.\n", "
\n", + "(><) ∷ ProductIsoApplicative p ⇒ p a → p b → p (a, b)
Binary operator the same as projectZip.\n", + "
\n", + "projectZip ∷ ProductIsoApplicative p ⇒ p a → p b → p (a, b)
Zipping projections.\n", + "
\n", + "(><) ∷ ProductIsoApplicative p ⇒ p a → p b → p (a, b)
Binary operator the same as projectZip.\n", + "
\n", + "projectZip ∷ ProductIsoApplicative p ⇒ p a → p b → p (a, b)
Zipping projections.\n", + "
\n", + "(><) ∷ ProductIsoApplicative p ⇒ p a → p b → p (a, b)
Binary operator the same as projectZip.\n", + "
\n", + "projectZip ∷ ProductIsoApplicative p ⇒ p a → p b → p (a, b)
Zipping projections.\n", + "
\n", + "(><) ∷ ProductIsoApplicative p ⇒ p a → p b → p (a, b)
Binary operator the same as projectZip.\n", + "
\n", + "projectZip ∷ ProductIsoApplicative p ⇒ p a → p b → p (a, b)
Zipping projections.\n", + "
\n", + "(><) ∷ ProductIsoApplicative p ⇒ p a → p b → p (a, b)
Binary operator the same as projectZip.\n", + "
\n", + "projectZip ∷ ProductIsoApplicative p ⇒ p a → p b → p (a, b)
Zipping projections.\n", + "
\n", + "(><) ∷ ProductIsoApplicative p ⇒ p a → p b → p (a, b)
Binary operator the same as projectZip.\n", + "
\n", + "projectZip ∷ ProductIsoApplicative p ⇒ p a → p b → p (a, b)
Zipping projections.\n", + "
\n", "deserializeWith2 ∷ (Serial2 f, MonadGet m) ⇒ m a → m b → m (f a b)
\n", "mesh ∷ Graph g ⇒ [a] → [b] → g (a, b)
Construct a mesh graph from two lists of vertices. Complexity:\n", "O(L1 * L2) time, memory and size, where L1 and L2\n", @@ -2966,11 +2996,13 @@ "For example, let's take the following Haskell data type:\n", "\n", "
\n",
+       ">>> :{\n",
        "data Project = Project\n",
        "{ projectName :: Text\n",
        ", projectDescription :: Text\n",
        ", projectStars :: Natural\n",
        "}\n",
+       ":}\n",
        "
\n", "\n", "And assume that we have the following Dhall record that we would like\n", @@ -2993,30 +3025,34 @@ "Project:\n", "\n", "
\n",
+       ">>> :{\n",
        "injectProject :: InputType Project\n",
        "injectProject =\n",
        "inputRecord\n",
-       "(  adapt >$< inputFieldWith \"name\" inject\n",
+       "( adapt >$< inputFieldWith \"name\" inject\n",
        ">*< inputFieldWith \"description\" inject\n",
        ">*< inputFieldWith \"stars\" inject\n",
        ")\n",
        "where\n",
        "adapt (Project{..}) = (projectName, (projectDescription, projectStars))\n",
+       ":}\n",
        "
\n", "\n", "Or, since we are simply using the Inject instance to inject\n", "each field, we could write\n", "\n", "
\n",
+       ">>> :{\n",
        "injectProject :: InputType Project\n",
        "injectProject =\n",
        "inputRecord\n",
-       "(  adapt >$< inputField \"name\"\n",
+       "( adapt >$< inputField \"name\"\n",
        ">*< inputField \"description\"\n",
        ">*< inputField \"stars\"\n",
        ")\n",
        "where\n",
        "adapt (Project{..}) = (projectName, (projectDescription, projectStars))\n",
+       ":}\n",
        "
\n", "\n", "Infix divided\n", @@ -3119,6 +3155,54 @@ "URL: https://hackage.haskell.org/package/relational-record/docs/Database-Relational-Documentation.html#v:-62--60-\n", "Binary operator the same as projectZip.\n", "\n", + "(><) :: ProductIsoApplicative p => p a -> p b -> p (a, b)\n", + "URL: https://hackage.haskell.org/package/relational-schemas/docs/Database-Custom-IBMDB2.html#v:-62--60-\n", + "Binary operator the same as projectZip.\n", + "\n", + "projectZip :: ProductIsoApplicative p => p a -> p b -> p (a, b)\n", + "URL: https://hackage.haskell.org/package/relational-schemas/docs/Database-Custom-IBMDB2.html#v:projectZip\n", + "Zipping projections.\n", + "\n", + "(><) :: ProductIsoApplicative p => p a -> p b -> p (a, b)\n", + "URL: https://hackage.haskell.org/package/relational-schemas/docs/Database-Custom-MySQL.html#v:-62--60-\n", + "Binary operator the same as projectZip.\n", + "\n", + "projectZip :: ProductIsoApplicative p => p a -> p b -> p (a, b)\n", + "URL: https://hackage.haskell.org/package/relational-schemas/docs/Database-Custom-MySQL.html#v:projectZip\n", + "Zipping projections.\n", + "\n", + "(><) :: ProductIsoApplicative p => p a -> p b -> p (a, b)\n", + "URL: https://hackage.haskell.org/package/relational-schemas/docs/Database-Custom-Oracle.html#v:-62--60-\n", + "Binary operator the same as projectZip.\n", + "\n", + "projectZip :: ProductIsoApplicative p => p a -> p b -> p (a, b)\n", + "URL: https://hackage.haskell.org/package/relational-schemas/docs/Database-Custom-Oracle.html#v:projectZip\n", + "Zipping projections.\n", + "\n", + "(><) :: ProductIsoApplicative p => p a -> p b -> p (a, b)\n", + "URL: https://hackage.haskell.org/package/relational-schemas/docs/Database-Custom-PostgreSQL.html#v:-62--60-\n", + "Binary operator the same as projectZip.\n", + "\n", + "projectZip :: ProductIsoApplicative p => p a -> p b -> p (a, b)\n", + "URL: https://hackage.haskell.org/package/relational-schemas/docs/Database-Custom-PostgreSQL.html#v:projectZip\n", + "Zipping projections.\n", + "\n", + "(><) :: ProductIsoApplicative p => p a -> p b -> p (a, b)\n", + "URL: https://hackage.haskell.org/package/relational-schemas/docs/Database-Custom-SQLServer.html#v:-62--60-\n", + "Binary operator the same as projectZip.\n", + "\n", + "projectZip :: ProductIsoApplicative p => p a -> p b -> p (a, b)\n", + "URL: https://hackage.haskell.org/package/relational-schemas/docs/Database-Custom-SQLServer.html#v:projectZip\n", + "Zipping projections.\n", + "\n", + "(><) :: ProductIsoApplicative p => p a -> p b -> p (a, b)\n", + "URL: https://hackage.haskell.org/package/relational-schemas/docs/Database-Custom-SQLite3.html#v:-62--60-\n", + "Binary operator the same as projectZip.\n", + "\n", + "projectZip :: ProductIsoApplicative p => p a -> p b -> p (a, b)\n", + "URL: https://hackage.haskell.org/package/relational-schemas/docs/Database-Custom-SQLite3.html#v:projectZip\n", + "Zipping projections.\n", + "\n", "deserializeWith2 :: (Serial2 f, MonadGet m) => m a -> m b -> m (f a b)\n", "URL: https://hackage.haskell.org/package/bytes/docs/Data-Bytes-Serial.html#v:deserializeWith2\n", "\n",