Safe Haskell	Safe-Inferred
Language	GHC2021

SupplyChain.Core.FreePointedFunctor

Contents

Description

Synopsis

data FreePointedFunctor f product
- = Pure product
- | forall x. Map (f x) (x -> product)
run :: Monad effect => (forall x. f x -> effect x) -> FreePointedFunctor f product -> effect product
eval :: (forall x. f x -> x) -> FreePointedFunctor f product -> product
alter :: (forall x. f x -> FreePointedFunctor f' x) -> FreePointedFunctor f product -> FreePointedFunctor f' product

Type

Constructors

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

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

Arguments

:: Monad effect
=> (forall x. f x -> effect x)	How to interpret `f` actions
-> FreePointedFunctor f product
-> effect product

Arguments

:: (forall x. f x -> x)	How to interpret `f` actions
-> FreePointedFunctor f product
-> product