Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
newtype Power val lτ dτ Source
(Ord lτ, Ord dτ) => Val lτ dτ (Power * * AVal lτ dτ) | |
(Ord lτ, Ord dτ) => Val lτ dτ (Power * * CVal lτ dτ) | |
Ord (val lτ dτ) => Buildable (val lτ dτ) (Power k k val lτ dτ) | |
Iterable (val lτ dτ) (Power k k val lτ dτ) | |
Container (val lτ dτ) (Power k k val lτ dτ) | |
Eq (Power k k val lτ dτ) | |
Ord (Power k k val lτ dτ) | |
JoinLattice (Power k k val lτ dτ) | |
Difference (Power k k val lτ dτ) | |
Join (Power k k val lτ dτ) | |
Bot (Power k k val lτ dτ) | |
PartialOrder (Power k k val lτ dτ) | |
Pretty (val lτ dτ) => Pretty (Power k k val lτ dτ) |