Foreign.Index

class Index :: Type -> (Type -> Type) -> Constraintclass Index i m | i -> m where

This type class identifies types that act like property indices.

The canonical instances are for Strings and Ints.

Members

• index :: Foreign -> i -> ExceptT (NonEmptyList ForeignError) m Foreign
• hasProperty :: i -> Foreign -> Boolean
• hasOwnProperty :: i -> Foreign -> Boolean
• errorAt :: i -> ForeignError -> ForeignError

Instances

• (Monad m) => Index String m
• (Monad m) => Index Int m

class Indexable :: Type -> (Type -> Type) -> Constraintclass Indexable a m | a -> m where

Members

• ix :: forall i. Index i m => a -> i -> ExceptT (NonEmptyList ForeignError) m Foreign

Instances

• (Monad m) => Indexable Foreign m
• (Monad m) => Indexable (ExceptT (NonEmptyList ForeignError) m Foreign) m

readProp :: forall m. Monad m => String -> Foreign -> ExceptT (NonEmptyList ForeignError) m Foreign

Attempt to read a value from a foreign value property

readIndex :: forall m. Monad m => Int -> Foreign -> ExceptT (NonEmptyList ForeignError) m Foreign

Attempt to read a value from a foreign value at the specified numeric index

Operator alias for Foreign.Index.ix (left-associative / precedence 9)