Searched refs:loadedNewtypes (Results 1 – 3 of 3) sorted by relevance
180 loadedNewtypes :: ModuleEnv -> Map Name IfaceNewtype181 loadedNewtypes menv = Map.unions function
536 getNewtypes = ModuleT (loadedNewtypes <$> get)
51 > import qualified Cryptol.ModuleSystem.Env as M (loadedModules,loadedNewtypes)1736 > nts = Map.elems (M.loadedNewtypes modEnv)