Copyright | (c) 2012-2015 diagrams-core team (see LICENSE) |
---|---|
License | BSD-style (see LICENSE) |
Maintainer | diagrams-discuss@googlegroups.com |
Safe Haskell | Safe |
Language | Haskell2010 |
A type for representing values with an additional bit saying
whether the value is "just a recommendation" (to be used only if
nothing better comes along) or a "committment" (to certainly be
used, overriding merely recommended values), along with
corresponding Semigroup
and Monoid
instances.
- data Recommend a
- getRecommend :: Recommend a -> a
Documentation
A value of type Recommend a
consists of a value of type a
wrapped up in one of two constructors. The Recommend
constructor indicates a "non-committal recommendation"---that
is, the given value should be used if no other/better values are
available. The Commit
constructor indicates a
"commitment"---a value which should definitely be used,
overriding any Recommend
ed values.
Functor Recommend # | |
Foldable Recommend # | |
Traversable Recommend # | |
Eq a => Eq (Recommend a) # | |
Data a => Data (Recommend a) # | |
Ord a => Ord (Recommend a) # | |
Read a => Read (Recommend a) # | |
Show a => Show (Recommend a) # | |
Semigroup a => Semigroup (Recommend a) # |
|
(Semigroup a, Monoid a) => Monoid (Recommend a) # | |
getRecommend :: Recommend a -> a #
Extract the value of type a
wrapped in Recommend a
.