Modulelinear-base-0.8.1

Unsafe.Linear

Synopsis

valuecoerce :: a %1 -> b

valuetoLinear :: (a %p -> b) %1 -> a %x -> b

valuetoLinear2 :: (a %p -> b %q -> c) %1 -> a %x -> b %y -> c

valuetoLinear3 :: (a %p -> b %q -> c %r -> d) %1 -> a %x -> b %y -> c %z -> d

valuetoLinearN :: ToLinearN n f g => f %1 -> g

classclass ToLinearN (n :: Nat) (f :: TYPE rep) (g :: TYPE rep) where

Instances1ToLinearN

(ToLinearN' ni f g, ni ~ ToINat n) => ToLinearN n f gDefined in linear-base-0.8.1 · Unsafe.Linear