Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
newtype SumOfProdVal ν lτ dτ Source
SumOfProdVal | |
|
(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