Safe Haskell | None |
---|---|
Language | Haskell2010 |
Symantic for Bounded
.
Class Sym_Bounded
class Sym_Bounded term where Source #
minBound :: Bounded a => term a Source #
maxBound :: Bounded a => term a Source #
minBound :: Sym_Bounded (UnT term) => Trans term => Bounded a => term a Source #
maxBound :: Sym_Bounded (UnT term) => Trans term => Bounded a => term a Source #
Instances
Sym_Bounded View Source # | |
Sym_Bounded Eval Source # | |
(Sym_Lambda term, Sym_Bounded term) => Sym_Bounded (BetaT term) Source # | |
(Sym_Bounded r1, Sym_Bounded r2) => Sym_Bounded (Dup r1 r2) Source # | |