Package `CHARGED-MONADS`

Classes

`PtApplicative` ^{_{CLASS · src}}

PtApplicative :MMethods:

PT-PURE :: :A → :M :I :I :A
PT-LIFTA2 :: (:A * :B → :C) * :M :I :J :A * :M :J :K :B → :M :I :K :C

Instances

PtApplicative (ContT :M)
Monad :M ⇒ PtApplicative (PtStateT :M)
PtApplicative PtState

`PtMonad` ^{_{CLASS · src}}

PtApplicative :M ⇒ PtMonad :MMethods:

PT-BIND :: :M :I :J :A * (:A → :M :J :K :B) → :M :I :K :B

Instances

PtMonad (ContT :M)
Monad :M ⇒ PtMonad (PtStateT :M)
PtMonad PtState

`PtMonadTransformer` ^{_{CLASS · src}}

PtMonadTransformer :TMethods:

PT-LIFT :: Monad :M ⇒ :M :A → :T :M :I :I :A

Instances

PtMonadTransformer ContT
PtMonadTransformer PtStateT

Macros

`PT-DO (&BODY BODY)` ^_MACRO

Package `CHARGED-MONADS/STATE`

Types

`PtState` ^{_{TYPE · src}}

Instances

Applicative (PtState :S :S)
Functor (PtState :S1 :S2)
Monad (PtState :S :S)
PtApplicative PtState
PtMonad PtState
RuntimeRepr (PtState :|0| :|1| :|2|)

Values

`(EVAL-STATE ST (PTST% F-STATE))` ^{_{FUNCTION · src}}

∀ :S1 :S2 :A. :S1 * PtState :S1 :S2 :A → :A

`GET` ^{_{VALUE · src}}

∀ :S. PtState :S :S :S

`(MODIFY F-ST)` ^{_{FUNCTION · src}}

∀ :S1 :S2. (:S1 → :S2) → PtState :S1 :S2 Unit

`(PUT S)` ^{_{FUNCTION · src}}

∀ :S2 :S1. :S2 → PtState :S1 :S2 Unit

`(RUN-STATE ST (PTST% F-STATE))` ^{_{FUNCTION · src}}

∀ :S1 :S2 :A. :S1 * PtState :S1 :S2 :A → :S2 * :A

Package `CHARGED-MONADS/STATET`

Types

`PtStateT` ^{_{TYPE · src}}

Instances

Functor :M ⇒ Functor (PtStateT :M :S1 :S2)
Monad :M ⇒ Applicative (PtStateT :M :S :S)
Monad :M ⇒ Monad (PtStateT :M :S :S)
Monad :M ⇒ PtApplicative (PtStateT :M)
Monad :M ⇒ PtMonad (PtStateT :M)
PtMonadTransformer PtStateT
RuntimeRepr (PtStateT :|0| :|1| :|2| :|3|)

Values

`(EVAL-STATET S (PTSTT% F-ST))` ^{_{FUNCTION · src}}

∀ :S1 :M :S2 :A. Functor :M ⇒ :S1 * PtStateT :M :S1 :S2 :A → :M :A

`(GET-STATET)` ^{_{FUNCTION · src}}

∀ :M :S. Applicative :M ⇒ Void → PtStateT :M :S :S :S

`(LIFT-STATET M)` ^{_{FUNCTION · src}}

∀ :M :A :S1. Functor :M ⇒ :M :A → PtStateT :M :S1 :S1 :A

`(MAP-STATET F-MSTA->NSTB M-STA)` ^{_{FUNCTION · src}}

∀ :M :S2 :A :N :S3 :B :S1. (:M (Tuple :S2 :A) → :N (Tuple :S3 :B)) * PtStateT :M :S1 :S2 :A → PtStateT :N :S1 :S3 :B

`(MODIFY-STATET F-ST)` ^{_{FUNCTION · src}}

∀ :S1 :S2 :M. Applicative :M ⇒ (:S1 → :S2) → PtStateT :M :S1 :S2 Unit

`(PUT-STATET S)` ^{_{FUNCTION · src}}

∀ :S2 :M :S1. Applicative :M ⇒ :S2 → PtStateT :M :S1 :S2 Unit

`(RUN-STATET S (PTSTT% F-ST))` ^{_{FUNCTION · src}}

∀ :S1 :M :S2 :A. :S1 * PtStateT :M :S1 :S2 :A → :M (Tuple :S2 :A)

Package `CHARGED-MONADS/CONTT`

Types

`Cont` ^{_{TYPE · src}}

`ContT` ^{_{TYPE · src}}

Instances

Applicative (ContT :M :R :R)
Functor (ContT :M :R1 :R2)
Monad (ContT :M :R :R)
PtApplicative (ContT :M)
PtMonad (ContT :M)
PtMonadTransformer ContT
RuntimeRepr (ContT :|0| :|1| :|2| :|3|)

Values

`(CALL-CC A->CR2-->CR1)` ^{_{FUNCTION · src}}

∀ :A :M :R2 :R3 :B :R1. ((:A → ContT :M :R2 :R3 :B) → ContT :M :R1 :R2 :A) → ContT :M :R1 :R2 :A

`(EVAL-CONT CONT)` ^{_{FUNCTION · src}}

∀ :R. ContT Identity :R :R :R → :R

`(EVAL-CONTT CONT)` ^{_{FUNCTION · src}}

∀ :M :R. Applicative :M ⇒ ContT :M :R :R :R → :M :R

`(LIFT-CONTT M)` ^{_{FUNCTION · src}}

∀ :M :A :R. Monad :M ⇒ :M :A → ContT :M :R :R :A

`(MAP-CONTT MR3->MR2 CONT)` ^{_{FUNCTION · src}}

∀ :M :R3 :R2 :R1 :A. (:M :R3 → :M :R2) * ContT :M :R1 :R2 :A → ContT :M :R1 :R3 :A

`(RESET CONT)` ^{_{FUNCTION · src}}

∀ :R :A. ContT Identity :R :A :A → :R

`(RESETT CONT)` ^{_{FUNCTION · src}}

∀ :M :R :A. Applicative :M ⇒ ContT :M :R :A :A → :M :R

`(RUN-CONT FINAL-CONT CONT)` ^{_{FUNCTION · src}}

∀ :A :R2 :R1. (:A → :R2) * ContT Identity :R1 :R2 :A → :R1

`(RUN-CONTT CONT (CONTT% THUNK))` ^{_{FUNCTION · src}}

∀ :A :M :R2 :R1. (:A → :M :R2) * ContT :M :R1 :R2 :A → :M :R1

`(SHIFT A->R2-->R1)` ^{_{FUNCTION · src}}

∀ :A :R2 :R1. ((:A → :R2) → :R1) → ContT Identity :R1 :R2 :A

`(SHIFTT A->R2-->R1)` ^{_{FUNCTION · src}}

∀ :A :M :R2 :R1. ((:A → :M :R2) → :M :R1) → ContT :M :R1 :R2 :A

Package CHARGED-MONADS

Classes

PtApplicative CLASS · src

PtMonad CLASS · src

PtMonadTransformer CLASS · src

Macros

PT-DO (&BODY BODY) MACRO

Package CHARGED-MONADS/STATE

Types

PtState TYPE · src

Values

(EVAL-STATE ST (PTST% F-STATE)) FUNCTION · src

GET VALUE · src

(MODIFY F-ST) FUNCTION · src

(PUT S) FUNCTION · src

(RUN-STATE ST (PTST% F-STATE)) FUNCTION · src

Package CHARGED-MONADS/STATET

Types

PtStateT TYPE · src

Values

(EVAL-STATET S (PTSTT% F-ST)) FUNCTION · src

(GET-STATET) FUNCTION · src

(LIFT-STATET M) FUNCTION · src

(MAP-STATET F-MSTA->NSTB M-STA) FUNCTION · src

(MODIFY-STATET F-ST) FUNCTION · src

(PUT-STATET S) FUNCTION · src

(RUN-STATET S (PTSTT% F-ST)) FUNCTION · src

Package CHARGED-MONADS/CONTT

Types

Cont TYPE · src

ContT TYPE · src

Values

(CALL-CC A->CR2-->CR1) FUNCTION · src

(EVAL-CONT CONT) FUNCTION · src

(EVAL-CONTT CONT) FUNCTION · src

(LIFT-CONTT M) FUNCTION · src

(MAP-CONTT MR3->MR2 CONT) FUNCTION · src

(RESET CONT) FUNCTION · src

(RESETT CONT) FUNCTION · src

(RUN-CONT FINAL-CONT CONT) FUNCTION · src

(RUN-CONTT CONT (CONTT% THUNK)) FUNCTION · src

(SHIFT A->R2-->R1) FUNCTION · src

(SHIFTT A->R2-->R1) FUNCTION · src

Macros

PT-DO-RESETT (&BODY BODY) MACRO

PT-DO-SHIFTT ((CONT-SYM) &BODY BODY) MACRO

PT-DO-RESET (&BODY BODY) MACRO

Package `CHARGED-MONADS`

`PtApplicative` ^{_{CLASS · src}}

`PtMonad` ^{_{CLASS · src}}

`PtMonadTransformer` ^{_{CLASS · src}}

`PT-DO (&BODY BODY)` ^_MACRO

Package `CHARGED-MONADS/STATE`

`PtState` ^{_{TYPE · src}}

`(EVAL-STATE ST (PTST% F-STATE))` ^{_{FUNCTION · src}}

`GET` ^{_{VALUE · src}}

`(MODIFY F-ST)` ^{_{FUNCTION · src}}

`(PUT S)` ^{_{FUNCTION · src}}

`(RUN-STATE ST (PTST% F-STATE))` ^{_{FUNCTION · src}}

Package `CHARGED-MONADS/STATET`

`PtStateT` ^{_{TYPE · src}}

`(EVAL-STATET S (PTSTT% F-ST))` ^{_{FUNCTION · src}}

`(GET-STATET)` ^{_{FUNCTION · src}}

`(LIFT-STATET M)` ^{_{FUNCTION · src}}

`(MAP-STATET F-MSTA->NSTB M-STA)` ^{_{FUNCTION · src}}

`(MODIFY-STATET F-ST)` ^{_{FUNCTION · src}}

`(PUT-STATET S)` ^{_{FUNCTION · src}}

`(RUN-STATET S (PTSTT% F-ST))` ^{_{FUNCTION · src}}

Package `CHARGED-MONADS/CONTT`

`Cont` ^{_{TYPE · src}}

`ContT` ^{_{TYPE · src}}

`(CALL-CC A->CR2-->CR1)` ^{_{FUNCTION · src}}

`(EVAL-CONT CONT)` ^{_{FUNCTION · src}}

`(EVAL-CONTT CONT)` ^{_{FUNCTION · src}}

`(LIFT-CONTT M)` ^{_{FUNCTION · src}}

`(MAP-CONTT MR3->MR2 CONT)` ^{_{FUNCTION · src}}

`(RESET CONT)` ^{_{FUNCTION · src}}

`(RESETT CONT)` ^{_{FUNCTION · src}}

`(RUN-CONT FINAL-CONT CONT)` ^{_{FUNCTION · src}}

`(RUN-CONTT CONT (CONTT% THUNK))` ^{_{FUNCTION · src}}

`(SHIFT A->R2-->R1)` ^{_{FUNCTION · src}}

`(SHIFTT A->R2-->R1)` ^{_{FUNCTION · src}}

`PT-DO-RESETT (&BODY BODY)` ^_MACRO

`PT-DO-SHIFTT ((CONT-SYM) &BODY BODY)` ^_MACRO

`PT-DO-RESET (&BODY BODY)` ^_MACRO