Lang.Hask.SumOfProdVal

Documentation

newtype SumOfProdVal ν lτ dτ

Constructors

SumOfProdVal

Fields

unSumOfProdVal :: SumOfProd (ν lτ dτ)

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