Ideas.Service.Types

Services

data Service

Instances

Show Service

Methods

showsPrec :: Int -> Service -> ShowS

show :: Service -> String

showList :: [Service] -> ShowS

HasId Service

Methods

getId :: Service -> Id

changeId :: (Id -> Id) -> Service -> 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))

Methods

showsPrec :: Int -> TypedValue (TypeRep f) -> ShowS

show :: TypedValue (TypeRep f) -> String

showList :: [TypedValue (TypeRep f)] -> ShowS

ShowF f => ShowF (TypeRep f)

Methods

showF :: TypeRep f a -> String

Equal f => Equal (TypeRep f)

Methods

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

ShowF f => Show (TypeRep f t)

Methods

showsPrec :: Int -> TypeRep f t -> ShowS

show :: TypeRep f t -> String

showList :: [TypeRep f t] -> ShowS

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

Term :: Const a Term

Text :: Const a Text

QCGen :: Const a QCGen

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))

Methods

showsPrec :: Int -> TypedValue (Const a) -> ShowS

show :: TypedValue (Const a) -> String

showList :: [TypedValue (Const a)] -> ShowS

ShowF (Const a)

Methods

showF :: Const a a -> String

Equal (Const a)

Methods

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

Show (Const a t)

Methods

showsPrec :: Int -> Const a t -> ShowS

show :: Const a t -> String

showList :: [Const a t] -> ShowS

type Type a = TypeRep (Const a)

data TypedValue f where

Constructors

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

Instances

Show (TypedValue (Const a))

Methods

showsPrec :: Int -> TypedValue (Const a) -> ShowS

show :: TypedValue (Const a) -> String

showList :: [TypedValue (Const a)] -> ShowS

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

Methods

showsPrec :: Int -> TypedValue (TypeRep f) -> ShowS

show :: TypedValue (TypeRep f) -> String

showList :: [TypedValue (TypeRep f)] -> ShowS

class Equal f where

Minimal complete definition

equal

Methods

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

Instances

Equal (Const a)

Methods

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

Equal f => Equal (TypeRep f)

Methods

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

class ShowF f where

Minimal complete definition

showF

Methods

showF :: f a -> String

Instances

ShowF (Const a)

Methods

showF :: Const a a -> String

ShowF f => ShowF (TypeRep f)

Methods

showF :: TypeRep f a -> String

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))

tUnit :: Type 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)

tTerm :: Type a Term

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

tUserId :: Type a String

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

tQCGen :: Type a QCGen

tScript :: Type a Script

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

tStrategyCfg :: Type a StrategyCfg

tInt :: Type a Int

Searching a typed value

findValuesOfType :: Type a t -> TypedValue (Type a) -> [t]