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]