Isomorphism2 * (PSΣ val lτ dτ ψ) (PSΣ' val lτ dτ ψ) | |
Morphism2 * (PSΣ val lτ dτ ψ) (PSΣ' val lτ dτ ψ) | |
Morphism2 * (PSΣ' val lτ dτ ψ) (PSΣ val lτ dτ ψ) | |
Morphism (PI𝒮 lτ dτ ψ, Store val lτ dτ ψ) (𝒮 val lτ dτ ψ) | |
(Eq (lτ ψ), Eq (dτ ψ), Eq (val lτ dτ ψ)) => Eq (𝒮 val lτ dτ ψ) | |
(Ord (lτ ψ), Ord (dτ ψ), Ord (val lτ dτ ψ)) => Ord (𝒮 val lτ dτ ψ) | |
(Pretty (lτ0 ψ0), Pretty (dτ0 ψ0), Pretty (Env lτ0 dτ0 ψ0), Pretty (Store val0 lτ0 dτ0 ψ0)) => Pretty (𝒮 val lτ dτ ψ) | |
(Initial (lτ ψ), Initial (dτ ψ)) => Initial (𝒮 val lτ dτ ψ) | |
Isomorphism (𝒮 val lτ dτ ψ) (PI𝒮 lτ dτ ψ, Store val lτ dτ ψ) | |
Morphism (𝒮 val lτ dτ ψ) (PI𝒮 lτ dτ ψ, Store val lτ dτ ψ) | |
MonadState (𝒮 val lτ dτ ψ) (PS val lτ dτ ψ) | |
(Eq (val lτ dτ ψ), JoinLattice (val lτ dτ ψ)) => MonadState (𝒮 val lτ dτ ψ) (FS val lτ dτ ψ) | |
(Eq (val lτ dτ ψ), JoinLattice (val lτ dτ ψ)) => MonadState (𝒮 val lτ dτ ψ) (FI val lτ dτ ψ) | |
MonadStateE (𝒮 val lτ dτ ψ) (PS val lτ dτ ψ) | |
(Eq (val lτ dτ ψ), JoinLattice (val lτ dτ ψ)) => MonadStateE (𝒮 val lτ dτ ψ) (FS val lτ dτ ψ) | |
(Eq (val lτ dτ ψ), JoinLattice (val lτ dτ ψ)) => MonadStateE (𝒮 val lτ dτ ψ) (FI val lτ dτ ψ) | |
MonadStateI (𝒮 val lτ dτ ψ) (PS val lτ dτ ψ) | |
(Eq (val lτ dτ ψ), JoinLattice (val lτ dτ ψ)) => MonadStateI (𝒮 val lτ dτ ψ) (FS val lτ dτ ψ) | |
(Eq (val lτ dτ ψ), JoinLattice (val lτ dτ ψ)) => MonadStateI (𝒮 val lτ dτ ψ) (FI val lτ dτ ψ) | |