linear-accelerate-0.7.0.0: Lifting linear vector spaces into Accelerate

Copyright[2015..2020] Trevor L. McDonell
LicenseBSD-style (see the file LICENSE)
MaintainerTrevor L. McDonell <trevor.mcdonell@gmail.com>
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Data.Array.Accelerate.Linear.Type

Description

 

Documentation

type Box f a = (Unlift Exp (f (Exp a)), Plain (f (Exp a)) ~ f a) Source #

type Box2 f g a = (Box f (g a), Box g a, Lift Exp (f (g (Exp a))), Plain (f (g (Exp a))) ~ f (g a)) Source #