Ideas.Service.Types

Contents

• Services
• Types
• Constructing types
• Searching a typed value

Description

Synopsis

• data Service
• makeService :: String -> String -> (forall a. TypedValue (Type a)) -> Service
• deprecate :: Service -> Service
• serviceDeprecated :: Service -> Bool
• serviceFunction :: Service -> forall a. TypedValue (Type a)
• data TypeRep f t where
  • Iso :: Isomorphism t1 t2 -> TypeRep f t1 -> TypeRep f t2
  • (:->) :: TypeRep f t1 -> TypeRep f t2 -> TypeRep f (t1 -> t2)
  • 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)
  • Unit :: TypeRep f ()
  • Const :: f t -> TypeRep f t
• data Const a t where
  • 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
• type Type a = TypeRep (Const a)
• data TypedValue f where
  • (:::) :: t -> f t -> TypedValue f
• class Equal f where
  • equal :: f a -> f b -> Maybe (a -> b)
• class ShowF f where
  • showF :: f a -> String
• equalM :: Monad m => Type a t1 -> Type a t2 -> m (t1 -> t2)
• 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)
• 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
• findValuesOfType :: Type a t -> TypedValue (Type a) -> [t]

Services

Types

Constructing types

Searching a typed value