Safe Haskell	Safe-Inferred
Language	Haskell2010

EqVector

Synopsis

equals :: Nat# n -> Vector n a -> Vector n a -> Bool
elem :: forall (n :: Nat) (a :: TYPE R). Nat# n -> a -> Vector n a -> Bool
findIndexEq :: forall (n :: Nat) (a :: TYPE R). Nat# n -> a -> Vector n a -> MaybeFin# n

Documentation

equals :: Nat# n -> Vector n a -> Vector n a -> Bool Source #

Compare two vectors for equality.

elem :: forall (n :: Nat) (a :: TYPE R). Nat# n -> a -> Vector n a -> Bool Source #

findIndexEq :: forall (n :: Nat) (a :: TYPE R). Nat# n -> a -> Vector n a -> MaybeFin# n Source #