Blessed.Internal.BlessedOp

data BlessedOpF :: Type -> (Type -> Type) -> Type -> Typedata BlessedOpF state m a

Constructors

• GetStateRef (Ref state -> a)
• State (state -> a /\ state)
• Lift (m a)
• PerformOne RawNodeKey Command a
• PerformSome RawNodeKey (Array Command) a
• PerformGet RawNodeKey Command (Json -> a)
• PerformOnProcess Command a
• ConfigureJs BlessedJsConfig a

Instances

• (Functor m) => Functor (BlessedOpF state m)

type BlessedOp :: Type -> (Type -> Type) -> Typetype BlessedOp state m = BlessedOpM state m Unit

type BlessedOp' :: Type -> (Type -> Type) -> Type -> Typetype BlessedOp' state m a = BlessedOpM state m a

type BlessedOpDef :: Type -> (Type -> Type) -> Typetype BlessedOpDef state m = Ref state -> BlessedOp state m

type BlessedOpGet :: Type -> (Type -> Type) -> Type -> Typetype BlessedOpGet state m a = BlessedOp' state m a

type BlessedOpSet :: Type -> (Type -> Type) -> Typetype BlessedOpSet state m = BlessedOp state m

newtype BlessedOpM :: Type -> (Type -> Type) -> Type -> Typenewtype BlessedOpM state m a

Constructors

• BlessedOpM (Free (BlessedOpF state m) a)

Instances

• Functor (BlessedOpM state m)
• Apply (BlessedOpM state m)
• Applicative (BlessedOpM state m)
• Bind (BlessedOpM state m)
• Monad (BlessedOpM state m)
• (Semigroup a) => Semigroup (BlessedOpM state m a)
• (Monoid a) => Monoid (BlessedOpM state m a)
• (MonadEffect m) => MonadEffect (BlessedOpM state m)
• (MonadAff m) => MonadAff (BlessedOpM state m)
• MonadState state (BlessedOpM state m)
• (MonadThrow e m) => MonadThrow e (BlessedOpM state m)
• MonadRec (BlessedOpM state m)

getStateRef :: forall state m. BlessedOpGet state m (Ref state)

data BlessedError

Constructors

• FromJson JsonDecodeError

toError :: BlessedError -> Error

class Gets :: (Type -> Type) -> Type -> Constraintclass (MonadThrow Error m, DecodeJson a) <= Gets m a 

Instances

• (MonadThrow Error m, DecodeJson a) => Gets m a

class GetsC :: forall k. (Type -> Type) -> k -> Constraintclass (MonadThrow Error m) <= GetsC m a 

Instances

• (MonadThrow Error m) => GetsC m a

class Sets :: (Type -> Type) -> Type -> Constraintclass (MonadThrow Error m, EncodeJson a) <= Sets m a 

Instances

• (MonadThrow Error m, EncodeJson a) => Sets m a

class SetsC :: forall k. (Type -> Type) -> k -> Constraintclass (MonadThrow Error m) <= SetsC m a 

Instances

• (MonadThrow Error m) => SetsC m a

perform :: forall state m. RawNodeKey -> Command -> BlessedOp state m

performGet :: forall state m a. Gets m a => RawNodeKey -> Command -> BlessedOpGet state m a

performGetC :: forall state m a. GetsC m a => JsonCodec a -> RawNodeKey -> Command -> BlessedOpGet state m a

performSome :: forall state m. RawNodeKey -> Array Command -> BlessedOp state m

performOnProcess :: forall state m. Command -> BlessedOp state m

configureJs :: forall state m. BlessedJsConfig -> BlessedOp state m

configureJs' :: BlessedJsConfig -> Effect Unit

lift :: forall state m. m Unit -> BlessedOpM state m Unit

lift' :: forall state m. m ~> (BlessedOpM state m)

impair :: forall state m x. MonadEffect m => MonadRec m => BlessedOpM state m x -> BlessedOpM state m (m x)

impair1 :: forall state m a x. MonadEffect m => MonadRec m => (a -> BlessedOpM state m x) -> BlessedOpM state m (a -> m x)

impair2 :: forall state m a b x. MonadEffect m => MonadRec m => (a -> b -> BlessedOpM state m x) -> BlessedOpM state m (a -> b -> m x)

impair3 :: forall state m a b c x. MonadEffect m => MonadRec m => (a -> b -> c -> BlessedOpM state m x) -> BlessedOpM state m (a -> b -> c -> m x)

impair4 :: forall state m a b c d x. MonadEffect m => MonadRec m => (a -> b -> c -> d -> BlessedOpM state m x) -> BlessedOpM state m (a -> b -> c -> d -> m x)

runM :: forall state m. MonadEffect m => MonadRec m => state -> (BlessedOpM state m) ~> m

runM' :: forall state m. MonadEffect m => MonadRec m => Ref state -> (BlessedOpM state m) ~> m

runFreeM :: forall state m. MonadEffect m => MonadRec m => Ref state -> (Free (BlessedOpF state m)) ~> m

runAndGet :: forall state m a. MonadEffect m => MonadRec m => state -> BlessedOpM state m a -> m (a /\ state)

runAndGet' :: forall state m. MonadEffect m => MonadRec m => state -> BlessedOpM state m Unit -> m state

runOn :: forall s s' m a. MonadRec m => MonadEffect m => s -> BlessedOpM s m a -> BlessedOpM s' m a

runOnUnit :: forall s m a. MonadRec m => MonadEffect m => BlessedOpM Unit m a -> BlessedOpM s m a

runOver :: forall s s' m a. MonadState s m => MonadRec m => MonadEffect m => s -> BlessedOpM s m a -> BlessedOpM s' m (a /\ s)

runOver' :: forall s s' m. MonadState s m => MonadRec m => MonadEffect m => s -> BlessedOpM s m Unit -> BlessedOpM s' m s

runEffect :: forall s m a. MonadRec m => MonadEffect m => s -> BlessedOpM s Effect a -> BlessedOpM s m a

makeHandler :: forall state subj sym. NodeKey subj sym -> EventId -> Array Json -> (NodeKey subj sym -> EventJson -> BlessedOp state Effect) -> SHandler state

imapStateF :: forall stateA stateB m a. MonadEffect m => (stateA -> stateB) -> (stateB -> stateA) -> BlessedOpF stateA m a -> BlessedOpF stateB m (m a)

data LoggingTarget

Constructors

• LoggingOff
• Console
• File String

type BlessedJsConfig = { blessedOn :: Boolean, loggingBlessedTo :: LoggingTarget, loggingCommandsTo :: LoggingTarget }

_adaptConfigRec :: BlessedJsConfig -> ConfigEnc

execute_ :: BlessedEnc -> Effect Unit

registerNode_ :: NodeEnc -> Effect Unit

callCommandEx_ :: JsNodeUniqueKey -> CommandEnc -> Array HandlerCallEnc -> Effect Json

configureBlessedAndLogging_ :: ConfigEnc -> Effect Unit

logCommandWhenEnabled_ :: (Unit -> String) -> Effect Unit