ideas-1.5: Feedback services for intelligent tutoring systems

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

Ideas.Service.Types

Contents

Description

 

Synopsis

Services

makeService :: String -> String -> (forall a. TypedValue (Type a)) -> Service Source

Types

data TypeRep f t where Source

Constructors

Iso :: Isomorphism t1 t2 -> TypeRep f t1 -> TypeRep f t2 
(:->) :: TypeRep f t1 -> TypeRep f t2 -> TypeRep f (t1 -> t2) infixr 3 
IO :: TypeRep f t -> TypeRep f (IO t) 
Tag :: String -> TypeRep f t1 -> TypeRep f t1 
List :: TypeRep f t -> TypeRep f [t] 
Pair :: TypeRep f t1 -> TypeRep f t2 -> TypeRep f (t1, t2) 
(:|:) :: TypeRep f t1 -> TypeRep f t2 -> TypeRep f (Either t1 t2) infixr 5 
Unit :: TypeRep f () 
Const :: f t -> TypeRep f t 

Instances

type Type a = TypeRep (Const a) Source

data TypedValue f where Source

Constructors

(:::) :: t -> f t -> TypedValue f infix 2 

class Equal f where Source

Methods

equal :: f a -> f b -> Maybe (a -> b) Source

Instances

class ShowF f where Source

Methods

showF :: f a -> String Source

Instances

equalM :: Monad m => Type a t1 -> Type a t2 -> m (t1 -> t2) Source

Constructing types

tUnit :: Type a () Source

tTuple3 :: Type a t1 -> Type a t2 -> Type a t3 -> Type a (t1, t2, t3) Source

tTuple4 :: Type a t1 -> Type a t2 -> Type a t3 -> Type a t4 -> Type a (t1, t2, t3, t4) Source

tTuple5 :: Type a t1 -> Type a t2 -> Type a t3 -> Type a t4 -> Type a t5 -> Type a (t1, t2, t3, t4, t5) Source

tPair :: Type a t1 -> Type a t2 -> Type a (t1, t2) Source

tTree :: Type a t -> Type a (Tree t) Source

tMaybe :: Type a t -> Type a (Maybe t) Source

tList :: Type a t -> Type a [t] Source

tDerivation :: Type a t1 -> Type a t2 -> Type a (Derivation t1 t2) Source

(.->) :: Type a t1 -> Type a t2 -> Type a (t1 -> t2) infixr 5 Source

tIO :: Type a t -> Type a (IO t) Source

Searching a typed value