futhark-0.25.32: An optimising compiler for a functional, array-oriented language.
Safe HaskellNone
LanguageGHC2021

Futhark.IR.Syntax.CoreTests

Documentation

tests :: TestTree Source #

Orphan instances

Arbitrary Ident Source # 
Instance details

Methods

arbitrary :: Gen Ident #

shrink :: Ident -> [Ident] #

Arbitrary Rank Source # 
Instance details

Methods

arbitrary :: Gen Rank #

shrink :: Rank -> [Rank] #

Arbitrary Shape Source # 
Instance details

Methods

arbitrary :: Gen Shape #

shrink :: Shape -> [Shape] #

Arbitrary NoUniqueness Source # 
Instance details

Methods

arbitrary :: Gen NoUniqueness #

shrink :: NoUniqueness -> [NoUniqueness] #

(Arbitrary shape, Arbitrary u) => Arbitrary (TypeBase shape u) Source # 
Instance details

Methods

arbitrary :: Gen (TypeBase shape u) #

shrink :: TypeBase shape u -> [TypeBase shape u] #