module Env.Interface where
import qualified Data.Map as Map (Map, empty, lookup)
import Curry.Base.Ident (ModuleIdent)
import Curry.Syntax (Interface)
type InterfaceEnv = Map.Map ModuleIdent Interface
initInterfaceEnv :: InterfaceEnv
initInterfaceEnv :: InterfaceEnv
initInterfaceEnv = InterfaceEnv
forall k a. Map k a
Map.empty
lookupInterface :: ModuleIdent -> InterfaceEnv -> Maybe Interface
lookupInterface :: ModuleIdent -> InterfaceEnv -> Maybe Interface
lookupInterface = ModuleIdent -> InterfaceEnv -> Maybe Interface
forall k a. Ord k => k -> Map k a -> Maybe a
Map.lookup