| Portability | portable (depends on ghc) |
|---|---|
| Stability | provisional |
| Maintainer | bastiaan.heeren@ou.nl |
| Safe Haskell | None |
Ideas.Common.Algebra.SmartGroup
Contents
Description
- 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 | |
| Applicative Smart | |
| Eq a => Eq (Smart a) | |
| Ord a => Ord (Smart a) | |
| Show a => Show (Smart a) | |
| (CoMonoid a, Monoid a) => Monoid (Smart a) | |
| CoMonoidZero a => CoMonoidZero (Smart a) | |
| CoMonoid a => CoMonoid (Smart a) | |
| (CoMonoid a, MonoidZero a) => MonoidZero (Smart a) | |
| (Boolean a, CoBoolean a) => Boolean (Smart a) | |
| BoolValue a => BoolValue (Smart a) |
Constructors
| SmartZero | |
Fields
| |
Instances
| Functor SmartZero | |
| Applicative SmartZero | |
| Eq a => Eq (SmartZero a) | |
| Ord a => Ord (SmartZero a) | |
| Show a => Show (SmartZero a) | |
| (CoMonoidZero a, MonoidZero a) => Monoid (SmartZero a) | |
| CoMonoidZero a => CoMonoidZero (SmartZero a) | |
| CoMonoid a => CoMonoid (SmartZero a) | |
| (CoMonoidZero a, MonoidZero a) => MonoidZero (SmartZero a) |
newtype SmartGroup a Source
Constructors
| SmartGroup | |
Fields
| |
Instances
| Functor SmartGroup | |
| Applicative SmartGroup | |
| Eq a => Eq (SmartGroup a) | |
| Ord a => Ord (SmartGroup a) | |
| Show a => Show (SmartGroup a) | |
| (CoGroup a, Group a) => Monoid (SmartGroup a) | |
| CoMonoidZero a => CoMonoidZero (SmartGroup a) | |
| CoGroup a => CoGroup (SmartGroup a) | |
| CoMonoid a => CoMonoid (SmartGroup a) | |
| (CoGroup a, MonoidZero a, Group a) => MonoidZero (SmartGroup a) | |
| (CoGroup a, Group a) => Group (SmartGroup a) |
newtype SmartField a Source
Constructors
| SmartField | |
Fields
| |
Instances
| Functor SmartField | |
| Applicative SmartField | |
| CoField a => CoField (SmartField a) | |
| CoRing a => CoRing (SmartField a) | |
| CoSemiRing a => CoSemiRing (SmartField a) | |
| (CoField a, Field a) => Field (SmartField a) | |
| (CoField a, Field a) => Ring (SmartField a) | |
| (CoField a, Field a) => SemiRing (SmartField a) |