Add FromDhall instances for Int{,8,16,32,64}

Author: jchia

dhall/src/Dhall/Marshal/Encode.hs

@@ -206,6 +206,34 @@ instance ToDhall Int where
 
         declared = Integer
 
+instance ToDhall Int8 where
+    injectWith _ = Encoder {..}
+      where
+        embed = IntegerLit . toInteger
+
+        declared = Integer
+
+instance ToDhall Int16 where
+    injectWith _ = Encoder {..}
+      where
+        embed = IntegerLit . toInteger
+
+        declared = Integer
+
+instance ToDhall Int32 where
+    injectWith _ = Encoder {..}
+      where
+        embed = IntegerLit . toInteger
+
+        declared = Integer
+
+instance ToDhall Int64 where
+    injectWith _ = Encoder {..}
+      where
+        embed = IntegerLit . toInteger
+
+        declared = Integer
+
 {-| Encode a 'Word' to a Dhall @Natural@.
 
 >>> embed inject (12 :: Word)

dhall/src/Dhall/Marshal/Internal.hs

@@ -27,6 +27,10 @@ module Dhall.Marshal.Internal
     -- * Re-exports
     , Fix(..)
     , HashMap
+    , Int8
+    , Int16
+    , Int32
+    , Int64
     , Map
     , Natural
     , Scientific
@@ -44,6 +48,7 @@ module Dhall.Marshal.Internal
 import Control.Monad.Trans.State.Strict
 import Data.Fix                         (Fix (..))
 import Data.HashMap.Strict              (HashMap)
+import Data.Int                         (Int16, Int32, Int64, Int8)
 import Data.Map                         (Map)
 import Data.Scientific                  (Scientific)
 import Data.Sequence                    (Seq)