Copyright	[2015..2020] Trevor L. McDonell
License	BSD-style (see the file LICENSE)
Maintainer	Trevor L. McDonell <trevor.mcdonell@gmail.com>
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

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 #