supply-chain-core-0.0.0.1: Composable request-response pipelines
Safe HaskellSafe-Inferred
LanguageGHC2021

SupplyChain.Core.FreePointedFunctor

Description

 
Synopsis

Type

data FreePointedFunctor f product Source #

Constructors

Pure product 
forall x. Map (f x) (x -> product) 

Instances

Instances details
Functor (FreePointedFunctor f) Source # 
Instance details

Defined in SupplyChain.Core.FreePointedFunctor

Methods

fmap :: (a -> b) -> FreePointedFunctor f a -> FreePointedFunctor f b #

(<$) :: a -> FreePointedFunctor f b -> FreePointedFunctor f a #

Running

run Source #

Arguments

:: Monad effect 
=> (forall x. f x -> effect x)

How to interpret f actions

-> FreePointedFunctor f product 
-> effect product 

eval Source #

Arguments

:: (forall x. f x -> x)

How to interpret f actions

-> FreePointedFunctor f product 
-> product 

Alteration

alter :: (forall x. f x -> FreePointedFunctor f' x) -> FreePointedFunctor f product -> FreePointedFunctor f' product Source #