Contents
- ChronicleTExtensions
- As <Ch, M, A> (this K<ChronicleT<Ch, M>, A> ma)
- As2 <Ch, M, A> (this K<ChronicleT<M>, Ch, A> ma)
- Run <Ch, M, A> (this K<ChronicleT<Ch, M>, A> ma)
- Flatten <Ch, M, A> (this ChronicleT<Ch, M, ChronicleT<Ch, M, A>> mma)
- BiMap <Ch, M, A, B> ( this ChronicleT<Ch, M, A> ma, Func<A, B> f)
- BiMap <Ch, Ch1, M, A, B> ( this ChronicleT<Ch, M, A> ma, Func<Ch, Ch1> This, Func<A, B> That)
- Where <Ch, M, A> (this K<ChronicleT<Ch, M>, A> ma, Func<A, bool> pred)
- Filter <Ch, M, A> (this K<ChronicleT<Ch, M>, A> ma, Func<A, bool> pred)
- SelectMany <Ch, M, A, B, C> ( this K<M, A> ma, Func<A, K<ChronicleT<Ch, M>, B>> bind, Func<A, B, C> project)
- SelectMany <Ch, M, A, B, C> ( this K<M, A> ma, Func<A, ChronicleT<Ch, M, B>> bind, Func<A, B, C> project)
- ChronicleTGuardExtensions
class ChronicleTExtensions Source #
Methods
method ChronicleT<Ch, M, A> As <Ch, M, A> (this K<ChronicleT<Ch, M>, A> ma) Source #
Downcast operator
method ChronicleT<Ch, M, A> As2 <Ch, M, A> (this K<ChronicleT<M>, Ch, A> ma) Source #
Downcast operator
method K<M, These<Ch, A>> Run <Ch, M, A> (this K<ChronicleT<Ch, M>, A> ma) Source #
Run the chronicle to yield its inner monad
method ChronicleT<Ch, M, A> Flatten <Ch, M, A> (this ChronicleT<Ch, M, ChronicleT<Ch, M, A>> mma) Source #
Monadic join
method ChronicleT<Ch, M, B> BiMap <Ch, M, A, B> ( this ChronicleT<Ch, M, A> ma, Func<A, B> f) Source #
Functor map operation
Parameters
| type | B | Dictation type to map to |
| param | f | Dictation mapping function |
| returns | ||
method ChronicleT<Ch1, M, B> BiMap <Ch, Ch1, M, A, B> ( this ChronicleT<Ch, M, A> ma, Func<Ch, Ch1> This, Func<A, B> That) Source #
Bifunctor map operation
Parameters
| type | Ch1 | Chronicle type to map to |
| type | B | Dictation type to map to |
| param | This | Chronicle mapping function |
| param | That | Dictation mapping function |
| returns | ||
method ChronicleT<Ch, M, A> Where <Ch, M, A> (this K<ChronicleT<Ch, M>, A> ma, Func<A, bool> pred) Source #
Filtering based on predicate.
If the predicate returns false, then ChronicleT.empty() is yielded and therefore Ch must be a monoid.
method ChronicleT<Ch, M, A> Filter <Ch, M, A> (this K<ChronicleT<Ch, M>, A> ma, Func<A, bool> pred) Source #
Filtering based on predicate.
If the predicate returns false, then ChronicleT.empty() is yielded and therefore Ch must be a monoid.
method ChronicleT<Ch, M, C> SelectMany <Ch, M, A, B, C> ( this K<M, A> ma, Func<A, K<ChronicleT<Ch, M>, B>> bind, Func<A, B, C> project) Source #
Monad bind operation
Parameters
| type | A | Source bound value type |
| type | B | Intermediate bound value type |
| type | C | Target bound value type |
| param | bind | Monadic bind function |
| param | project | Projection function |
| returns |
| |
method ChronicleT<Ch, M, C> SelectMany <Ch, M, A, B, C> ( this K<M, A> ma, Func<A, ChronicleT<Ch, M, B>> bind, Func<A, B, C> project) Source #
Monad bind operation
Parameters
| type | A | Source bound value type |
| type | B | Intermediate bound value type |
| type | C | Target bound value type |
| param | bind | Monadic bind function |
| param | project | Projection function |
| returns |
| |
class ChronicleTGuardExtensions Source #
Methods
method ChronicleT<Ch, M, Unit> ToChronicleT <Ch, M> (this Guard<Ch, Unit> guard) Source #
Natural transformation to ChronicleT
method ChronicleT<Ch, M, B> Bind <Ch, M, B> ( this Guard<Ch, Unit> guard, Func<Unit, ChronicleT<Ch, M, B>> f) Source #
Monadic binding support for ChronicleT
method ChronicleT<Ch, M, C> SelectMany <Ch, M, B, C> ( this Guard<Ch, Unit> guard, Func<Unit, ChronicleT<Ch, M, B>> bind, Func<Unit, B, C> project) Source #
Monadic binding support for ChronicleT