Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Addr | |
|
Isomorphism2 * (FIΣ val lτ dτ) (FIΣ' val lτ dτ) | |
Morphism2 * (FIΣ val lτ dτ) (FIΣ' val lτ dτ) | |
Morphism2 * (FIΣ' val lτ dτ) (FIΣ val lτ dτ) | |
(Eq lτ, Eq dτ) => Eq (Addr lτ dτ) | |
(Ord lτ, Ord dτ) => Ord (Addr lτ dτ) | |
(Pretty lτ, Pretty dτ) => Pretty (Addr lτ dτ) | |
Morphism (𝒮Cxt lτ dτ, Store val lτ dτ) (𝒮 val lτ dτ) | |
Isomorphism (𝒮 val lτ dτ) (𝒮Cxt lτ dτ, Store val lτ dτ) | |
Morphism (𝒮 val lτ dτ) (𝒮Cxt lτ dτ, Store val lτ dτ) |
Isomorphism2 * (FIΣ val lτ dτ) (FIΣ' val lτ dτ) | |
Morphism2 * (FIΣ val lτ dτ) (FIΣ' val lτ dτ) | |
Morphism2 * (FIΣ' val lτ dτ) (FIΣ val lτ dτ) | |
(Eq lτ, Eq dτ) => Eq (𝒮Cxt lτ dτ) | |
(Ord lτ, Ord dτ) => Ord (𝒮Cxt lτ dτ) | |
(Bot lτ, Bot dτ) => Bot (𝒮Cxt lτ dτ) | |
(Pretty lτ0, Pretty dτ0, Pretty (Env lτ0 dτ0)) => Pretty (𝒮Cxt lτ dτ) | |
Morphism (𝒮Cxt lτ dτ, Store val lτ dτ) (𝒮 val lτ dτ) | |
Isomorphism (𝒮 val lτ dτ) (𝒮Cxt lτ dτ, Store val lτ dτ) | |
Morphism (𝒮 val lτ dτ) (𝒮Cxt lτ dτ, Store val lτ dτ) |
Isomorphism2 * (FSΣ val lτ dτ) (FSΣ' val lτ dτ) | |
Isomorphism2 * (PSΣ val lτ dτ) (PSΣ' val lτ dτ) | |
Morphism2 * (FSΣ val lτ dτ) (FSΣ' val lτ dτ) | |
Morphism2 * (FSΣ' val lτ dτ) (FSΣ val lτ dτ) | |
Morphism2 * (PSΣ val lτ dτ) (PSΣ' val lτ dτ) | |
Morphism2 * (PSΣ' val lτ dτ) (PSΣ val lτ dτ) | |
Morphism (𝒮Cxt lτ dτ, Store val lτ dτ) (𝒮 val lτ dτ) | |
(Eq val, Eq lτ, Eq dτ) => Eq (𝒮 val lτ dτ) | |
(Ord val, Ord lτ, Ord dτ) => Ord (𝒮 val lτ dτ) | |
(Bot lτ, Bot dτ) => Bot (𝒮 val lτ dτ) | |
(Pretty (𝒮Cxt lτ0 dτ0), Pretty (Store val0 lτ0 dτ0)) => Pretty (𝒮 val lτ dτ) | |
Isomorphism (𝒮 val lτ dτ) (𝒮Cxt lτ dτ, Store val lτ dτ) | |
Morphism (𝒮 val lτ dτ) (𝒮Cxt lτ dτ, Store val lτ dτ) | |
MonadState (𝒮 val lτ dτ) (PS val lτ dτ) | |
MonadState (𝒮 val lτ dτ) (FS val lτ dτ) | |
JoinLattice val => MonadState (𝒮 val lτ dτ) (FI val lτ dτ) |
LitPicoVal Lit | |
AddrPicoVal (Addr lτ dτ) |