Language.MSH

Documentation

module Control.Lens

module Control.Monad.Identity

module Control.Monad.State

state :: QuasiQuoter

stateParser :: String -> Q [Dec]

data CallType

Enumerates call types.

Constructors

ExtCall

The call is to a method, externally.

data RunnableQuery ty obj st ctx r where

Represents a query which can be run by combinators such as result, object, etc.

Constructors

MkExtCall :: ctx (r, obj) -> RunnableQuery ExtCall obj st ctx r

class Functor ctx => CallCtx ty ctx where

Represents a context in which combinators may be used.

Associated Types

type CtxResult ty ctx r :: *

Methods

result :: RunnableQuery ty obj st ctx r -> CtxResult ty ctx r

object :: RunnableQuery ty obj st ctx r -> CtxResult ty ctx obj

Instances

(~) (* -> *) ctx Identity => CallCtx ExtCall ctx

data MemberType

Constructors

Mutable

Immutable

data FieldType

Constructors

Method

Field

type family FieldComposeResult lhs rhs :: FieldType

Equations

FieldComposeResult Method Method = Method

FieldComposeResult Method Field = Method

FieldComposeResult Field Method = Method

FieldComposeResult Field Field = Field

data Selector ty o s m a where

Constructors

MkMethod :: StateT s m a -> (o -> m (a, o)) -> Selector Method o s m a

MkField :: (o -> m (a, o)) -> StateT s m a -> (o -> a -> m ((), o)) -> (a -> StateT s m ()) -> Selector Field o s m a

Instances

(Object obj st ctx, Object r st' Identity, (~) (* -> *) m Identity) => Object (Selector Method obj st ctx r) st' m

(Object obj st ctx, Object r st' Identity, (~) (* -> *) m Identity) => Object (Selector Field obj st ctx r) st' m

type QueryObject (Selector Method obj st ctx r) = r

type QueryObject (Selector Field obj st ctx r) = r

type QueryMonad (Selector Method obj st ctx r) ctx' = ctx'

type QueryMonad (Selector Field obj st ctx r) ctx' = ctx'

type QueryResult (Selector Method obj st ctx r) ty st' m x = Selector Method obj st ctx x

type QueryResult (Selector Field obj st ctx r) Field st' m x = Selector Field obj st ctx x

type QueryResult (Selector Field obj st ctx r) Method st' m x = Selector Method obj st ctx x

data This o s m a where

Constructors

MkThis :: This o s m a

Instances

(Object obj st ctx, Object r st' ctx', (~) (* -> *) ctx ctx', (~) * st st') => Object (This obj st ctx r) st' ctx'

type QueryObject (This obj st ctx r) = obj

type QueryMonad (This obj st ctx r) ctx' = ctx'

type QueryResult (This obj st ctx r) ty st' m x = StateT st' ctx x

type family QueryObject obj :: *

Instances

type QueryObject (This obj st ctx r) = obj

type QueryObject (Selector Method obj st ctx r) = r

type QueryObject (Selector Field obj st ctx r) = r

type family QueryMonad obj m :: * -> *

Instances

type QueryMonad (This obj st ctx r) ctx' = ctx'

type QueryMonad (Selector Method obj st ctx r) ctx' = ctx'

type QueryMonad (Selector Field obj st ctx r) ctx' = ctx'

type family QueryResult obj ty st m r :: *

Instances

type QueryResult (This obj st ctx r) ty st' m x = StateT st' ctx x

type QueryResult (Selector Method obj st ctx r) ty st' m x = Selector Method obj st ctx x

type QueryResult (Selector Field obj st ctx r) Field st' m x = Selector Field obj st ctx x

type QueryResult (Selector Field obj st ctx r) Method st' m x = Selector Method obj st ctx x

class Monad m => Object obj st m where

Minimal complete definition

(.!)

Methods

this :: This obj st m obj

(.!) :: forall r ty. obj -> Selector ty (QueryObject obj) st (QueryMonad obj m) r -> QueryResult obj ty st m r infixr 8

Instances

(Object obj st ctx, Object r st' ctx', (~) (* -> *) ctx ctx', (~) * st st') => Object (This obj st ctx r) st' ctx'

(Object obj st ctx, Object r st' Identity, (~) (* -> *) m Identity) => Object (Selector Method obj st ctx r) st' m

(Object obj st ctx, Object r st' Identity, (~) (* -> *) m Identity) => Object (Selector Field obj st ctx r) st' m

(.$) :: (Monad ctx, Functor f) => Selector lty obj st ctx (f a) -> Selector rty a st' Identity b -> Selector (FieldComposeResult lty rty) obj st ctx (f b)

If s returns a value whose type is a Functor, then `s.$m' calls m on the inner value of s via fmap.

run the internal call (if the selector on the RHS is a method)

run the internal getter (if the selector on the RHS is a field)

run the internal call (if the selector on the RHS is a method)

run the internal getter (if the selector on the RHS is a field)

run the internal call (if the selector on the RHS is a method)

run the internal getter (if the selector on the RHS is a field)

_msh_rt_invalid_call_abstract :: String

_msh_rt_invalid_call_state :: String

class SetterContext r o s m where

Methods

(>:) :: Selector Field o s m val -> val -> r

class ValueContext r val

Associated Types

type VCSt r :: *

type VCM r :: * -> *

Instances

ValueContext (StateT s m val) val

class HasData obj d | obj -> d where

Methods

extractData :: obj -> d

class Cast sub sup | sub -> sup where

Methods

downcast :: sub -> sup

class New obj where

Associated Types

type Args obj :: *

Methods

new :: Args obj -> obj

type Void = ()

switch :: Monad m => Selector ty o s m val -> (val -> StateT s m b) -> StateT s m b

(<:) :: Monad m => Selector Field o s m val -> val -> StateT s m () infixl 7