Add FromDhall instance for Contravariant functors: Predicate, Equivalence, Op

Author: locallycompact

dhall/src/Dhall/Marshal/Decode.hs

@@ -2,6 +2,7 @@
 {-# LANGUAGE ConstraintKinds            #-}
 {-# LANGUAGE DefaultSignatures          #-}
 {-# LANGUAGE DeriveFunctor              #-}
+{-# LANGUAGE DerivingStrategies         #-}
 {-# LANGUAGE FlexibleContexts           #-}
 {-# LANGUAGE FlexibleInstances          #-}
 {-# LANGUAGE GeneralizedNewtypeDeriving #-}
@@ -12,6 +13,7 @@
 {-# LANGUAGE RankNTypes                 #-}
 {-# LANGUAGE RecordWildCards            #-}
 {-# LANGUAGE ScopedTypeVariables        #-}
+{-# LANGUAGE StandaloneDeriving         #-}
 {-# LANGUAGE TupleSections              #-}
 {-# LANGUAGE TypeApplications           #-}
 {-# LANGUAGE TypeFamilies               #-}
@@ -117,6 +119,9 @@ module Dhall.Marshal.Decode
     , Text
     , Vector
     , Generic
+    , Op
+    , Predicate
+    , Equivalence
     ) where
 
 
@@ -130,6 +135,7 @@ import Data.Either.Validation
     , eitherToValidation
     , validationToEither
     )
+import Data.Functor.Contravariant       (Op(..), Predicate(..), Equivalence(..))
 import Data.Hashable                    (Hashable)
 import Data.Int                         (Int16, Int32, Int64, Int8)
 import Data.List.NonEmpty               (NonEmpty (..))
@@ -338,6 +344,12 @@ instance FromDhall (f (Result f)) => FromDhall (Result f) where
 
         expected = pure "result"
 
+deriving newtype instance (ToDhall x) => FromDhall (Predicate x)
+
+deriving newtype instance (ToDhall x) => FromDhall (Equivalence x)
+
+deriving newtype instance (FromDhall b, ToDhall x) => FromDhall (Op b x)
+
 -- | You can use this instance to marshal recursive types from Dhall to Haskell.
 --
 -- Here is an example use of this instance: