feldspar-language-0.7: A functional embedded language for DSP and parallelism

Safe HaskellNone
LanguageHaskell2010

Feldspar.Core.Constructs.Ord

Description

Implementation of ordering constructs

Synopsis

Documentation

data ORD a where Source

Ordering constructs

Constructors

LTH :: (Type a, Ord a, Ord (Size a)) => ORD (a :-> (a :-> Full Bool)) 
GTH :: (Type a, Ord a, Ord (Size a)) => ORD (a :-> (a :-> Full Bool)) 
LTE :: (Type a, Ord a, Ord (Size a)) => ORD (a :-> (a :-> Full Bool)) 
GTE :: (Type a, Ord a, Ord (Size a)) => ORD (a :-> (a :-> Full Bool)) 
Min :: (Type a, Ord a, Ord (Size a)) => ORD (a :-> (a :-> Full a)) 
Max :: (Type a, Ord a, Ord (Size a)) => ORD (a :-> (a :-> Full a))