Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Fmt.Kan

Contents

Description

Kan extension connections for Fmt.

Re-exports Data.Functor.Kan from scheme-extensions and adds fmtDay which is specific to the Fmt type.

Synopsis

Fmt-specific

fmtDay :: Semigroup m => Fmt m m m -> Fmt m m m -> Day ((->) m) ((->) m) m Source #

Witness that (%) is Day convolution of (->) m.

Decomposes two formatters into their (->) m components and pairs them in a Day product.

>>> import Data.Fmt
>>> import Data.Fmt.Kan
>>> dap (fmtDay (fmt "hello " :: Fmt String String String) (fmt "world")) ""
"hello world"

Re-exports from scheme-extensions