Copyright	(C) 2015-2016, University of Twente
License	BSD2 (see the file LICENSE)
Maintainer	Christiaan Baaij <christiaan.baaij@gmail.com>
Safe Haskell	None
Language	Haskell2010

CLaSH.Normalize.PrimitiveReductions

Description

Reductions of primitives

Currently, it contains reductions for:

CLaSH.Sized.Vector.map
CLaSH.Sized.Vector.zipWith
CLaSH.Sized.Vector.traverse#
CLaSH.Sized.Vector.foldr
CLaSH.Sized.Vector.fold
CLaSH.Sized.Vector.dfold
CLaSH.Sized.Vector.(++)
CLaSH.Sized.Vector.head
CLaSH.Sized.Vector.tail
CLaSH.Sized.Vector.unconcatBitVector#
CLaSH.Sized.Vector.replicate
CLaSH.Sized.Vector.imap

Partially handles:

CLaSH.Sized.Vector.unconcat
CLaSH.Sized.Vector.transpose

Synopsis

Documentation

reduceZipWith Source

Arguments

:: Integer	Length of the vector(s)
-> Type	Type of the lhs of the function
-> Type	Type of the rhs of the function
-> Type	Type of the result of the function
-> Term	The zipWith'd functions
-> Term	The 1st vector argument
-> Term	The 2nd vector argument
-> NormalizeSession Term

Replace an application of the CLaSH.Sized.Vector.zipWith primitive on vectors of a known length n, by the fully unrolled recursive "definition" of CLaSH.Sized.Vector.zipWith

reduceMap Source

Arguments

:: Integer	Length of the vector
-> Type	Argument type of the function
-> Type	Result type of the function
-> Term	The map'd function
-> Term	The map'd over vector
-> NormalizeSession Term

Replace an application of the CLaSH.Sized.Vector.map primitive on vectors of a known length n, by the fully unrolled recursive "definition" of CLaSH.Sized.Vector.map

reduceImap Source

Arguments

:: Integer	Length of the vector
-> Type	Argument type of the function
-> Type	Result type of the function
-> Term	The imap'd function
-> Term	The imap'd over vector
-> NormalizeSession Term

Replace an application of the CLaSH.Sized.Vector.imap primitive on vectors of a known length n, by the fully unrolled recursive "definition" of CLaSH.Sized.Vector.imap

reduceTraverse Source

Arguments

:: Integer	Length of the vector
-> Type	Element type of the argument vector
-> Type	The type of the applicative
-> Type	Element type of the result vector
-> Term	The `Applicative` dictionary
-> Term	The function to traverse with
-> Term	The argument vector
-> NormalizeSession Term

Replace an application of the CLaSH.Sized.Vector.traverse# primitive on vectors of a known length n, by the fully unrolled recursive "definition" of CLaSH.Sized.Vector.traverse#

mkTravVec Source

Arguments

:: TyConName	Vec tcon
-> DataCon	Nil con
-> DataCon	Cons con
-> Term	`pure` term
-> Term	`<*>` term
-> Term	`fmap` term
-> Type	`b` ty
-> Integer	Length of the vector
-> [Term]	Elements of the vector
-> Term

Create the traversable vector

e.g. for a length '2' input vector, we get

(:>) <$> x0 <*> ((:>) <$> x1 <*> pure Nil)

reduceFoldr Source

Arguments

:: Integer	Length of the vector
-> Type	Element type of the argument vector
-> Type	Type of the starting element
-> Term	The function to fold with
-> Term	The starting value
-> Term	The argument vector
-> NormalizeSession Term

Replace an application of the CLaSH.Sized.Vector.foldr primitive on vectors of a known length n, by the fully unrolled recursive "definition" of CLaSH.Sized.Vector.foldr

reduceFold Source

Arguments

:: Integer	Length of the vector
-> Type	Element type of the argument vector
-> Term	The function to fold with
-> Term	The argument vector
-> NormalizeSession Term

Replace an application of the CLaSH.Sized.Vector.fold primitive on vectors of a known length n, by the fully unrolled recursive "definition" of CLaSH.Sized.Vector.fold

reduceDFold Source

Arguments

:: Integer	Length of the vector
-> Type	Element type of the argument vector
-> Term	Function to fold with
-> Term	Starting value
-> Term	The vector to fold
-> NormalizeSession Term

Replace an application of the CLaSH.Sized.Vector.dfold primitive on vectors of a known length n, by the fully unrolled recursive "definition" of CLaSH.Sized.Vector.dfold

reduceHead Source

Arguments

:: Integer	Length of the vector
-> Type	Element type of the vector
-> Term	The argument vector
-> NormalizeSession Term

Replace an application of the CLaSH.Sized.Vector.head primitive on vectors of a known length n, by a projection of the first element of a vector.

reduceTail Source

Arguments

:: Integer	Length of the vector
-> Type	Element type of the vector
-> Term	The argument vector
-> NormalizeSession Term

Replace an application of the CLaSH.Sized.Vector.tail primitive on vectors of a known length n, by a projection of the tail of a vector.

reduceAppend Source

Arguments

:: Integer	Length of the LHS arg
-> Integer	Lenght of the RHS arg
-> Type	Element type of the vectors
-> Term	The LHS argument
-> Term	The RHS argument
-> NormalizeSession Term

Replace an application of the CLaSH.Sized.Vector.(++) primitive on vectors of a known length n, by the fully unrolled recursive "definition" of CLaSH.Sized.Vector.(++)

reduceUnconcat Source

Arguments

:: Integer	Length of the result vector
-> Integer	Length of the elements of the result vector
-> Type	Element type
-> Term	Argument vector
-> NormalizeSession Term

Replace an application of the CLaSH.Sized.Vector.unconcat primitive on vectors of a known length n, by the fully unrolled recursive "definition" of CLaSH.Sized.Vector.unconcat

reduceTranspose Source

Arguments

:: Integer	Length of the result vector
-> Integer	Length of the elements of the result vector
-> Type	Element type
-> Term	Argument vector
-> NormalizeSession Term

Replace an application of the CLaSH.Sized.Vector.transpose primitive on vectors of a known length n, by the fully unrolled recursive "definition" of CLaSH.Sized.Vector.transpose

reduceReplicate :: Integer -> Type -> Type -> Term -> NormalizeSession Term Source