Feldspar.Core.Constructs.Num

Documentation

data NUM a where

Constructors

Abs :: (Type a, Num a, Num (Size a)) => NUM (a :-> Full a)

Sign :: (Type a, Num a, Num (Size a)) => NUM (a :-> Full a)

Add :: (Type a, Num a, Num (Size a)) => NUM (a :-> (a :-> Full a))

Sub :: (Type a, Num a, Num (Size a)) => NUM (a :-> (a :-> Full a))

Mul :: (Type a, Num a, Num (Size a)) => NUM (a :-> (a :-> Full a))

Instances

EvalBind NUM

Semantic NUM

Eval NUM

Render NUM

StringTree NUM

Equality NUM

Monotonic NUM

Sharable NUM

AlphaEq dom dom dom env => AlphaEq NUM NUM dom env

SizeProp ((:||) NUM Type)

((:<:) ((:||) NUM Type) dom, (:<:) ((:||) Literal Type) dom, (:<:) ((:||) INTEGRAL Type) dom, (:<:) ((:||) COMPLEX Type) dom, OptimizeSuper dom) => Optimize ((:||) NUM Type) dom