Renaming

Author: yveshauser

formal-spec/Everything.agda

@@ -3,5 +3,6 @@ module Everything where
 open import Leios.Simplified
 open import Leios.Simplified.Deterministic
 open import Leios.Short
+open import Leios.Short.Deterministic
 open import Leios.Network
-open import Leios.Foreign.Export
+open import Leios.Foreign.Types

formal-spec/Leios/Foreign/BaseTypes.agda

@@ -18,7 +18,7 @@ open import Class.Convertible
 open import Class.Decidable.Instances
 open import Class.HasHsType
 
-open import Leios.Foreign.HSTypes as F
+open import Leios.Foreign.HsTypes as F
 open import Leios.Foreign.Util
 open import Foreign.Haskell
 

formal-spec/Leios/Foreign/HSTypes.agda renamed to formal-spec/Leios/Foreign/HsTypes.agda

@@ -1,4 +1,4 @@
-module Leios.Foreign.HSTypes where
+module Leios.Foreign.HsTypes where
 
 {-# FOREIGN GHC
   {-# LANGUAGE DeriveGeneric #-}

formal-spec/Leios/Foreign/Export.agda renamed to formal-spec/Leios/Foreign/Types.agda

@@ -12,10 +12,10 @@ open import Leios.Prelude
 open import Leios.Foreign.Defaults
   renaming (EndorserBlock to EndorserBlockAgda; IBHeader to IBHeaderAgda) --  LeiosState to LeiosStateAgda)
 open import Leios.Foreign.BaseTypes
-open import Leios.Foreign.HSTypes
+open import Leios.Foreign.HsTypes
 open import Leios.Foreign.Util
 
-module Leios.Foreign.Export where
+module Leios.Foreign.Types where
 
 {-# FOREIGN GHC
   {-# LANGUAGE DuplicateRecordFields #-}

formal-spec/hs-src/src/Lib.hs

@@ -3,5 +3,5 @@ module Lib (
   module Lib,
 ) where
 
-import MAlonzo.Code.Leios.Foreign.Export as X
-import MAlonzo.Code.Leios.Foreign.HSTypes as X
+import MAlonzo.Code.Leios.Foreign.HsTypes as X
+import MAlonzo.Code.Leios.Foreign.Types as X