Maintainer | bastiaan.heeren@ou.nl |
---|---|
Stability | provisional |
Portability | portable (depends on ghc) |
Safe Haskell | None |
Language | Haskell2010 |
Synopsis
- newtype Smart a = Smart {
- fromSmart :: a
- newtype SmartZero a = SmartZero {
- fromSmartZero :: a
- newtype SmartGroup a = SmartGroup {
- fromSmartGroup :: a
- newtype SmartField a = SmartField {
- fromSmartField :: a
- (.+.) :: (CoField a, Field a) => a -> a -> a
- (.-.) :: (CoField a, Field a) => a -> a -> a
- neg :: (CoField a, Field a) => a -> a
- (.*.) :: (CoField a, Field a) => a -> a -> a
- (./.) :: (CoField a, Field a) => a -> a -> a
- (.&&.) :: (Boolean a, CoBoolean a) => a -> a -> a
- (.||.) :: (Boolean a, CoBoolean a) => a -> a -> a
Smart datatypes
Instances
Functor Smart Source # | |
Applicative Smart Source # | |
Eq a => Eq (Smart a) Source # | |
Ord a => Ord (Smart a) Source # | |
Show a => Show (Smart a) Source # | |
(CoMonoid a, Semigroup a) => Semigroup (Smart a) Source # | |
(CoMonoid a, Monoid a) => Monoid (Smart a) Source # | |
BoolValue a => BoolValue (Smart a) Source # | |
(Boolean a, CoBoolean a) => Boolean (Smart a) Source # | |
CoMonoidZero a => CoMonoidZero (Smart a) Source # | |
Defined in Domain.Algebra.SmartGroup isMonoidZero :: Smart a -> Bool Source # | |
CoMonoid a => CoMonoid (Smart a) Source # | |
(MonoidZero a, CoMonoid a) => MonoidZero (Smart a) Source # | |
Defined in Domain.Algebra.SmartGroup |
SmartZero | |
|
Instances
Functor SmartZero Source # | |
Applicative SmartZero Source # | |
Eq a => Eq (SmartZero a) Source # | |
Ord a => Ord (SmartZero a) Source # | |
Defined in Domain.Algebra.SmartGroup | |
Show a => Show (SmartZero a) Source # | |
(CoMonoidZero a, MonoidZero a, Semigroup a) => Semigroup (SmartZero a) Source # | |
(CoMonoidZero a, MonoidZero a) => Monoid (SmartZero a) Source # | |
CoMonoidZero a => CoMonoidZero (SmartZero a) Source # | |
Defined in Domain.Algebra.SmartGroup isMonoidZero :: SmartZero a -> Bool Source # | |
CoMonoid a => CoMonoid (SmartZero a) Source # | |
(MonoidZero a, CoMonoidZero a) => MonoidZero (SmartZero a) Source # | |
Defined in Domain.Algebra.SmartGroup |
newtype SmartGroup a Source #
SmartGroup | |
|
Instances
newtype SmartField a Source #
SmartField | |
|