Modulepolysemy-methodology-0.2.2.0Haskell2010

Polysemy.Methodology

Domain modelling algebra for polysemy.

1 type
39 values

Packagepolysemy-methodology-0.2.2.0
Exports40
LanguageHaskell2010
LicenceMIT
SourceMethodology.hs

Definition

2 declarations

datadata Methodology b c (m :: Type -> Type) a where

A Methodology generalises a semantic process from b to c.

Constructors

Process :: b -> Methodology b c m c

valueprocess :: Member (Methodology b c) r => b -> Sem r c

Eliminators

2 declarations

valuerunMethodologyPure

:: (b -> c)
A function from b to c.
-> Sem (Methodology b c ': r) a
-> Sem r a

Run a Methodology using a pure function.

valuerunMethodologySem

:: (b -> Sem r c)
A monadic function from b to c using effects in r.
-> Sem (Methodology b c ': r) a
-> Sem r a

Run a Methodology using a monadic function with effects in r.

Decomposition

15 declarations

valuecutMethodology

:: Members '[Methodology b c, Methodology c d] r
=> Sem (Methodology b d ': r) a
Methodology effect to decompose.
-> Sem r a

Cut a Methodology into two pieces at a midpoint.

valuecutMethodology'

:: Sem (Methodology b d ': r) a
Methodology effect to decompose.
-> Sem (Methodology b c ': Methodology c d ': r) a

Reinterpreting version of cutMethodology.

valuecutMethodology3

:: Members '[Methodology b c, Methodology c d, Methodology d e] r
=> Sem (Methodology b e ': r) a
Methodology effect to decompose.
-> Sem r a

Cut a Methodology into three pieces using two cuts.

valuecutMethodology3'

:: Sem (Methodology b d ': r) a
Methodology effect to decompose.
-> Sem (Methodology b c ': Methodology c d ': Methodology d e ': r) a

Reinterpreting version of cutMethodology.

valuedivideMethodology

:: Members '[Methodology b c, Methodology b c', Methodology (c, c') d] r
=> Sem (Methodology b d ': r) a
Methodology effect to decompose.
-> Sem r a

Divide a Methodology into two components using a Methodology that accepts a pair.`

valuedivideMethodology'

:: Sem (Methodology b d ': r) a
-> Sem (Methodology b c ': Methodology b c' ': Methodology (c, c') d ': r) a

Reinterpreting version of divideMethodology.

valuedecideMethodology

:: Members '[Methodology b (Either c c'), Methodology c d, Methodology c' d] r
=> Sem (Methodology b d ': r) a
`Methodology effect to decompose.
-> Sem r a

Decide between two Methodologys using a Methodology that computes an Either.

valuedecideMethodology'

:: Sem (Methodology b d ': r) a
-> Sem (Methodology b (Either c c') ': Methodology c d ': Methodology c' d ': r) a

Reinterpreting version of decideMethodology.

valuedecomposeMethodology

:: Members '[Methodology b (HList f), Methodology (HList f) c] r
=> Sem (Methodology b c ': r) a
-> Sem r a

Decompose a Methodology into several components to be recombined. This is cutMethodology specialised to HList.

valuedecomposeMethodology'

:: Sem (Methodology b c ': r) a
-> Sem (Methodology b (HList f) ': Methodology (HList f) c ': r) a

Reinterpreting version of decomposeMethodology.

valuedecomposeMethodology3

:: Members '[Methodology b (HList f), Methodology (HList f) (HList g), Methodology (HList g) c] r
=> Sem (Methodology b c ': r) a
-> Sem r a

Decompose a Methodology into several components over three sections with two cuts.

valueseparateMethodologyInitial

:: Members '[Methodology b (HList xs), Methodology b x] r
=> Sem (Methodology b (HList (x ': xs)) ': r) a
-> Sem r a

Factor a Methodology decomposed over an HList in the result by a Methodology to the first variable.

valueendMethodologyInitial :: Sem (Methodology b (HList '[]) ': r) a -> Sem r a

Finish an HList separated Methodology by consuming it for no effect.

valueseparateMethodologyTerminal

:: (Monoid c, Members '[Methodology (HList xs) c, Methodology x c] r)
=> Sem (Methodology (HList (x ': xs)) c ': r) a
-> Sem r a

Factor a Methodology decomposed over an HList in the source by a Methodology from the first variable. Assumes the result is a Monoid.

valueendMethodologyTerminal

:: Monoid c
=> Sem (Methodology (HList '[]) c ': r) a
-> Sem r a

Finalise an HList separated Methodology in the source by returning the Monoid unit.

Simplifcation

12 declarations

valuefmapMethodology

:: (Members '[Methodology b c] r, Traversable f)
=> Sem (Methodology (f b) (f c) ': r) a
-> Sem r a

Run a Methodology (f b) (f c) by way of a Methodology b c. Note that f must be Traversable.

valuefmapMethodology'

:: Traversable f
=> Sem (Methodology (f b) (f c) ': r) a
-> Sem (Methodology b c ': r) a

Reinterpreting version of fmapMethodology.

valuefmap2Methodology

:: (Members '[Methodology b c] r, Traversable f, Traversable g)
=> Sem (Methodology (f (g b)) (f (g c)) ': r) a
-> Sem r a

Run a Methodology (f (g b)) (f (g c))) by way of a Methodology b c. Note that f and g must be Traversable.

valuefmap2Methodology'

:: (Traversable f, Traversable g)
=> Sem (Methodology (f (g b)) (f (g c)) ': r) a
-> Sem (Methodology b c ': r) a

Reinterpreting version of fmap2Methodology.

valuepureMethodology

:: (Members '[Methodology b c] r, Applicative f)
=> Sem (Methodology b (f c) ': r) a
-> Sem r a

Run a Methodology b (f c) in terms of a Methodology b c.

valuepureMethodology'

:: Applicative f
=> Sem (Methodology b (f c) ': r) a
-> Sem (Methodology b c ': r) a

Reinterpreting version of pureMethodology.

valuebindMethodology

:: (Members '[Methodology b (f c)] r, Traversable f, Monad f)
=> Sem (Methodology (f b) (f c) ': r) a
-> Sem r a

Run a Methodology (f b) (f c) by way of a Methodology b (f c). Note that f must be both Traversable and Monad.

valuebindMethodology'

:: (Traversable f, Monad f)
=> Sem (Methodology (f b) (f c) ': r) a
-> Sem (Methodology b (f c) ': r) a

Reinterpreting version of bindMethodology.

valuetraverseMethodology

:: (Members '[Methodology b (f c)] r, Traversable t, Applicative f)
=> Sem (Methodology (t b) (f (t c)) ': r) a
-> Sem r a

Run a Methodology (t b) (f (t b)) by way of a Methodology b (f c). Note that t must be Traversable and f must be Applicative.

valuetraverseMethodology'

:: (Traversable t, Applicative f)
=> Sem (Methodology (t b) (f (t c)) ': r) a
-> Sem (Methodology b (f c) ': r) a

Reinterpreting version of traverseMethodology.

valuemconcatMethodology

:: (Members '[Methodology b c] r, Monoid c, Traversable f)
=> Sem (Methodology (f b) c ': r) a
-> Sem r a

Run a Methodology concatenating the results as a monoid.

valuemconcatMethodology'

:: (Monoid c, Traversable f)
=> Sem (Methodology (f b) c ': r) a
-> Sem (Methodology b c ': r) a

Reinterpreting version of mconcatMethodology.

Other Effects

6 declarations

valueteeMethodologyOutput

:: Members '[Output c, Methodology b c] r
=> Sem r a
-> Sem r a

Tee the output of a Methodology, introducing a new Output effect to be handled.

valueplugMethodologyInput

:: Members '[Input b, Methodology (b, c) d] r
=> Sem (Methodology c d ': r) a
-> Sem r a

Make a Methodology depend on an additional input, introducing a new Input effect to be handled.

valuerunMethodologyAsKVStore

:: Members '[KVStore k v] r
=> Sem (Methodology k (Maybe v) ': r) a
-> Sem r a

Run a Methodology as a KVStore, using the input as a key and the output as the value.

valuerunMethodologyAsKVStoreWithDefault

:: Members '[KVStore k v] r
=> v
A default value v.
-> Sem (Methodology k v ': r) a
-> Sem r a

Run a Methodology as a KVStore, with a default value for lookup failure.

valuerunMethodologyMappendPure

:: (Monoid c, Members '[Methodology b c] r)
=> b -> c
-> Sem r a
-> Sem r a

Run a Methodology targetting a Monoid without consuming it, pure version. This should probably be considered an anti-pattern, and it's probably better to decompose the inputs fully, but is otherwise sound.

valuerunMethodologyMappendSem

:: (Monoid c, Members '[Methodology b c] r)
=> b -> Sem r c
-> Sem r a
-> Sem r a

Run a Methodology targetting a Monoid without consuming it, Sem version. This should probably be considered an anti-pattern, and it's probably better to decompose the inputs fully, but is otherwise sound.

Tracing

3 declarations

valuetraceMethodologyStart

:: Members '[Methodology b c, Trace] r
=> (b -> String)
A function from the input type b to a String.
-> Sem r a
-> Sem r a

Trace a String based on the input to a Methodology.

valuetraceMethodologyEnd

:: Members '[Methodology b c, Trace] r
=> (c -> String)
A function from the output type c to a String.
-> Sem r a
-> Sem r a

Trace a String based on the output to a Methodology.

valuetraceMethodologyAround

:: Members '[Methodology b c, Trace] r
=> (b -> String)
A function from the input type b to a String.
-> (c -> String)
A function from the output type c to a String.
-> Sem r a
-> Sem r a

Trace both the start and the end of a Methodology.