| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Lang.Hask.SumOfProdVal
Documentation
newtype SumOfProdVal ν lτ dτ Source
Constructors
| SumOfProdVal | |
Fields
| |
Instances
| (Ord lτ, Ord dτ, Ord (ν lτ dτ), Val lτ dτ ConstructiveClassical ν) => Val lτ dτ SetWithTop (SumOfProdVal * * ν) | |
| Ord (ν lτ dτ) => Buildable (ν lτ dτ) (SumOfProdVal k k ν lτ dτ) | |
| Eq (SumOfProdVal k k ν lτ dτ) | |
| Ord (SumOfProdVal k k ν lτ dτ) | |
| JoinLattice (SumOfProdVal k k ν lτ dτ) | |
| (Ord (ν lτ dτ), Neg (ν lτ dτ)) => Neg (SumOfProdVal k k ν lτ dτ) | |
| Meet (SumOfProdVal k k ν lτ dτ) | |
| Join (SumOfProdVal k k ν lτ dτ) | |
| Bot (SumOfProdVal k k ν lτ dτ) | |
| Pretty (ν lτ dτ) => Pretty (SumOfProdVal k k ν lτ dτ) |
sumOfProdValConcretize :: Ord b => (ν lτ dτ -> ConstructiveClassical b) -> SumOfProdVal ν lτ dτ -> SetWithTop b Source