Ideas.Service.Types

Services

data Service

Instances

Show Service

HasId Service

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

deprecate :: Service -> Service

serviceDeprecated :: Service -> Bool

serviceFunction :: Service -> forall a. TypedValue (Type a)

Types

data TypeRep f t where

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

Show (TypedValue f) => Show (TypedValue (TypeRep f))

ShowF f => ShowF (TypeRep f)

Equal f => Equal (TypeRep f)

ShowF f => Show (TypeRep f t)

data Const a t where

Constructors

Service :: Const a Service

Exercise :: Const a (Exercise a)

Strategy :: Const a (Strategy (Context a))

State :: Const a (State a)

Rule :: Const a (Rule (Context a))

Context :: Const a (Context a)

Id :: Const a Id

Location :: Const a Location

Script :: Const a Script

StratCfg :: Const a StrategyCfg

Environment :: Const a Environment

Text :: Const a Text

StdGen :: Const a StdGen

Result :: Const a Result

SomeExercise :: Const a (Some Exercise)

Bool :: Const a Bool

Int :: Const a Int

String :: Const a String

Instances

Show (TypedValue (Const a))

ShowF (Const a)

Equal (Const a)

Show (Const a t)

type Type a = TypeRep (Const a)

data TypedValue f where

Constructors

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

Instances

Show (TypedValue (Const a))

Show (TypedValue f) => Show (TypedValue (TypeRep f))

class Equal f where

Methods

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

Instances

Equal (Const a)

Equal f => Equal (TypeRep f)

class ShowF f where

Methods

showF :: f a -> String

Instances

ShowF (Const a)

ShowF f => ShowF (TypeRep f)

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

Constructing types

tEnvironment :: Type a Environment

tLocation :: Type a Location

tRule :: Type a (Rule (Context a))

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

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

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

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

tStrategy :: Type a (Strategy (Context a))

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

tState :: Type a (State a)

tBool :: Type a Bool

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

tString :: Type a String

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

tId :: Type a Id

tService :: Type a Service

tSomeExercise :: Type a (Some Exercise)

tText :: Type a Text

tDifficulty :: Type a Difficulty

tContext :: Type a (Context a)

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

tError :: Type a t -> Type a (Either String t)

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

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

tExercise :: Type a (Exercise a)

tTestSuiteResult :: Type a Result

tStdGen :: Type a StdGen

tScript :: Type a Script

tExamples :: Type a (Examples (Context a))

tStrategyCfg :: Type a StrategyCfg

tInt :: Type a Int