Modulelinear-base-0.8.1

Prelude.Linear.Internal

1 class
12 values

Packagelinear-base-0.8.1
Exports13
LicenceMIT
SourceTypes.hs

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

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

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

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

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

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

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

valueid :: a %q -> a

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

valuerunIdentity' :: Identity a %p -> a

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

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

classclass a ~ b => (~) (a :: k) (b :: k)

Lifted, homogeneous equality. By lifted, we mean that it can be bogus (deferred type error). By homogeneous, the two types a and b must have the same kinds.