Language.MSH

state

stateParser

data CallType

data RunnableQuery ty obj st ctx r

class CallCtx ty ctx

data MemberType

data FieldType

type family FieldComposeResult lhs rhs :: FieldType

data Selector ty o s m a

data This o s m a

type family QueryObject obj :: *

type family QueryMonad obj m :: * -> *

type family QueryResult obj ty st m r :: *

class Object obj st m

(.$)

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

_msh_rt_invalid_call_state

class SetterContext r o s m

class ValueContext r val

class HasData obj d

class Cast sub sup

class New obj

type Void

switch

(<:)