Language.MSH

Contents

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

Synopsis

• module Control.Lens
• module Control.Monad.Identity
• module Control.Monad.State
• state :: QuasiQuoter
• stateParser :: String -> Q [Dec]
• data CallType = ExtCall
• data RunnableQuery ty obj st ctx r where
  • MkExtCall :: ctx (r, obj) -> RunnableQuery ExtCall obj st ctx r
• class Functor ctx => CallCtx ty ctx where
  • type CtxResult ty ctx r :: *
  • result :: RunnableQuery ty obj st ctx r -> CtxResult ty ctx r
  • object :: RunnableQuery ty obj st ctx r -> CtxResult ty ctx obj
• data MemberType
  • = Mutable
  • | Immutable
• data FieldType
  • = Method
  • | Field
• type family FieldComposeResult lhs rhs :: FieldType
• data Selector ty o s m a where
  • 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
• data This o s m a where
  • MkThis :: This o s m a
• type family QueryObject obj :: *
• type family QueryMonad obj m :: * -> *
• type family QueryResult obj ty st m r :: *
• class Monad m => Object obj st m where
  • 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
• (.$) :: (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)
• _msh_rt_invalid_call_abstract :: String
• _msh_rt_invalid_call_state :: String
• class SetterContext r o s m where
  • (>:) :: Selector Field o s m val -> val -> r
• class ValueContext r val where
  • type VCSt r :: *
  • type VCM r :: * -> *
• class HasData obj d | obj -> d where
  • extractData :: obj -> d
• class Cast sub sup | sub -> sup where
  • downcast :: sub -> sup
• class New obj where
  • type Args obj :: *
  • 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 ()

Documentation

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)