Skip to content

Commit

Permalink
Fix imports
Browse files Browse the repository at this point in the history
  • Loading branch information
Unisay committed Jun 17, 2024
1 parent f71d428 commit 4c9af09
Showing 1 changed file with 11 additions and 11 deletions.
22 changes: 11 additions & 11 deletions plutus-core/plutus-ir/src/PlutusIR/Pass.hs
Original file line number Diff line number Diff line change
@@ -1,22 +1,22 @@
{-# LANGUAGE GADTs #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE RankNTypes #-}

module PlutusIR.Pass where

import Control.Monad (when)
import Control.Monad.Except (ExceptT, MonadError (throwError))
import Control.Monad.Trans.Class (lift)
import Data.Foldable (for_)
import Data.Functor (void)
import Data.Text (Text)
import PlutusCore qualified as PLC
import PlutusCore.Name.Unique (HasUnique, TermUnique (..), TypeUnique (..), Unique (..))
import PlutusCore.Quote (MonadQuote, runQuoteT)
import PlutusIR.Check.Uniques qualified as Uniques
import PlutusIR.Core.Type
import PlutusIR.Error
import PlutusIR.Core.Type (Name, Term, TyName)
import PlutusIR.Error (Error (CompilationError))
import PlutusIR.TypeCheck qualified as TC

import PlutusCore qualified as PLC
import PlutusCore.Name.Unique

import Control.Monad.Except
import Control.Monad.Trans.Class (lift)
import Data.Foldable
import Data.Text (Text)
import PlutusCore.Quote

-- | A condition on a 'Term'.
data Condition tyname name uni fun a where
Expand Down

0 comments on commit 4c9af09

Please sign in to comment.