Ideas.Service.Types

Services

data Service

makeService

deprecate

serviceDeprecated

serviceFunction

Types

data TypeRep f t

data Const a t

type Type a

data TypedValue f

class Equal f

class ShowF f

equalM

Constructing types

tEnvironment

tLocation

tRule

tTuple3

tTuple4

tTuple5

tPair

tStrategy

tTree

tState

tBool

tMaybe

tString

tList

tId

tService

tSomeExercise

tText

tDifficulty

tContext

tDerivation

tError

(.->)

tIO

tExercise

tTestSuiteResult

tStdGen

tScript

tExamples

tStrategyCfg

tInt