Commits

Anonymous committed 2796d67 Draft

Further changes due to renaming

Comments (0)

Files changed (2)

 
 Module Error (Et : ERR_TYPE)
 <: MONAD
-<: ERROR_T (Et) (Identity.Identity).
+<: ERROR_T (Et) (IdentityMonad.Identity).
 
-  Module Impl := ErrorT (Et) (Identity.Identity).
+  Module Impl := ErrorT (Et) (IdentityMonad.Identity).
 
   Include Impl.
 
 (** * Standard instance of State Monad *)
 Module State (St : ST_TYPE) <: MONAD.
 
-  Module Impl := StateT (St) (Identity.Identity).
+  Module Impl := StateT (St) (IdentityMonad.Identity).
 
   Include Impl.
 
   Definition S := nat.
 End MyState.
 
-Module State_nat := StateT (MyState) (Identity.Identity).
+Module State_nat := StateT (MyState) (IdentityMonad.Identity).
 Import State_nat.
 Import Ops.