Modulelinear-base-0.4.0Haskell2010

Prelude.Linear.Internal

This is a very very simple prelude, which doesn't depend on anything else in the linear-base library.

12 values

Packagelinear-base-0.4.0
Exports12
LanguageHaskell2010
LicenceMIT
SourceInternal.hs

value(.) :: (b %1 -> c) %q -> (a %1 -> b) %m -> a %n -> c

Beware: (.) is not compatible with the standard one because it is higher-order and we don't have sufficient multiplicity polymorphism yet.

valuerunIdentity' :: Identity a %p -> a

value($) :: (a %p -> b) %q -> a %p -> b

valueforget :: (a %1 -> b) %1 -> a -> b

Convenience operator when a higher-order function expects a non-linear arrow but we have a linear arrow.

value(&) :: a %p -> (a %p -> b) %q -> b

valuecurry :: ((a, b) %p -> c) %q -> a %p -> b %p -> c

valueuncurry :: (a %p -> b %p -> c) %q -> (a, b) %p -> c

valueid :: a %q -> a

valueconst :: a %q -> b -> a

valueseq :: a -> b %q -> b

seq x y only forces x to head normal form, therefore is not guaranteed to consume x when the resulting computation is consumed. Therefore, seq cannot be linear in it's first argument.

value($!) :: (a %p -> b) %q -> a %p -> b

valuelcoerce :: Coercible a b => a %1 -> b

A linear version of coerce for types of kind Type.

module Prelude.Linear.Internal.TypeEq