| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Lang.Common
Documentation
Instances
| Eq LocNum | |
| Ord LocNum | |
| PartialOrder LocNum | |
| Peano LocNum | |
| Pretty LocNum | |
| Balloon CPSKon SGCall | |
| (TimeC lτ, TimeC dτ, ValC lτ dτ val) => Analysis val lτ dτ (PS val lτ dτ Ψ) | |
| (TimeC lτ, TimeC dτ, ValC lτ dτ val) => Analysis val lτ dτ (FI val lτ dτ Ψ) | |
| (TimeC lτ, TimeC dτ, ValC lτ dτ val) => Analysis val lτ dτ (FS val lτ dτ Ψ) | |
| (TimeC lτ, TimeC dτ) => Inject (PSΣ val lτ dτ Ψ) | |
| (TimeC lτ, TimeC dτ) => Inject (FIΣ val lτ dτ Ψ) | |
| (TimeC lτ, TimeC dτ) => Inject (FSΣ val lτ dτ Ψ) | |
| (TimeC lτ, TimeC dτ, ValC lτ dτ val) => Execution (PSΣ val lτ dτ Ψ) (PSΣ𝒫 val lτ dτ Ψ) (PS val lτ dτ Ψ) | |
| (TimeC lτ, TimeC dτ, ValC lτ dτ val) => Execution (FIΣ val lτ dτ Ψ) (FIΣ𝒫 val lτ dτ Ψ) (FI val lτ dτ Ψ) | |
| (TimeC lτ, TimeC dτ, ValC lτ dτ val) => Execution (FSΣ val lτ dτ Ψ) (FSΣ𝒫 val lτ dτ Ψ) (FS val lτ dτ Ψ) |
sgNameFromSName :: SName -> SGName Source