Ideas.Common.Algebra.SmartGroup

Contents

• Smart datatypes
• Smart booleans

Description

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

Smart booleans