Polysemy.Methodology.Colog

Contents

Description

Domain modelling algebra for polysemy.

Synopsis

logMethodologyStart :: forall b c p r a. Members '[Methodology b c, Log p] r => (b -> p) -> Sem r a -> Sem r a
logMethodologyEnd :: forall b c q r a. Members '[Methodology b c, Log q] r => (c -> q) -> Sem r a -> Sem r a
logMethodologyAround :: forall b c p q r a. Members '[Methodology b c, Log p, Log q] r => (b -> p) -> (c -> q) -> Sem r a -> Sem r a

Logging

Arguments

:: forall b c p r a. Members '[Methodology b c, Log p] r
=> (b -> p)	A function from the input type b to an event type p.
-> Sem r a
-> Sem r a

Log a type based on the input to a Methodology.

Since: 0.1.0.0

Arguments

:: forall b c q r a. Members '[Methodology b c, Log q] r
=> (c -> q)	A function from the input type c to an event type q.
-> Sem r a
-> Sem r a

Log a type based on the output to a Methodology.

Since: 0.1.0.0

Arguments

:: forall b c p q r a. Members '[Methodology b c, Log p, Log q] r
=> (b -> p)	A function from the input type b to an event type p.
-> (c -> q)	A function from the output type b to an event type q,
-> Sem r a
-> Sem r a

Log both the start and the end of a Methodology.

Since: 0.1.0.0