ideas-1.3.1: Feedback services for intelligent tutoring systems

Maintainerbastiaan.heeren@ou.nl
Stabilityprovisional
Portabilityportable (depends on ghc)
Safe HaskellNone
LanguageHaskell98

Ideas.Common.Algebra.SmartGroup

Contents

Description

 

Synopsis

Smart datatypes

newtype Smart a Source

Constructors

Smart 

Fields

fromSmart :: a
 

Instances

(.+.) :: (CoField a, Field a) => a -> a -> a infixl 6 Source

(.-.) :: (CoField a, Field a) => a -> a -> a infixl 6 Source

neg :: (CoField a, Field a) => a -> a Source

(.*.) :: (CoField a, Field a) => a -> a -> a infixl 7 Source

(./.) :: (CoField a, Field a) => a -> a -> a infixl 7 Source

Smart booleans

(.&&.) :: (Boolean a, CoBoolean a) => a -> a -> a infixr 5 Source

(.||.) :: (Boolean a, CoBoolean a) => a -> a -> a infixr 4 Source