Safe Haskell	None
Language	Haskell2010

Type.Class.Higher.Util

Documentation

traverse1_ :: (Foldable1 t, Applicative h) => (forall a. f a -> h c) -> t f b -> h () Source #

mapM1_ :: (Foldable1 t, Applicative h) => (forall a. f a -> h c) -> t f b -> h () Source #

forM1_ :: (Foldable1 t, Applicative h) => t f b -> (forall a. f a -> h c) -> h () Source #

all1 :: Foldable1 t => (forall a. f a -> Bool) -> t f b -> Bool Source #

class NFData1 f where Source #

Methods

rnf1 :: f a -> () Source #

rnf1 :: NFData (f a) => f a -> () Source #

Instances

(Storable a, NFData a) => NFData1 (BShape Nat) (HMat a) Source #
Methods rnf1 :: f a -> () Source #
(NFData (ElemB k b), NFData1 (BShape k) b, Nesting * k (Proxy k) NFData v) => NFData1 [k] (BTensor k v b) Source #
Methods rnf1 :: f a -> () Source #
(NFData a, Nesting * k (Proxy k) NFData v) => NFData1 [k] (NTensor k v a) Source #
Methods rnf1 :: f a -> () Source #

deepseq1 :: NFData1 f => f a -> b -> b Source #

force1 :: NFData1 f => f a -> f a Source #