| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Rel8.Internal.Type.Array
Documentation
array :: Foldable f => TypeInformation a -> f PrimExpr -> PrimExpr Source #
quoteArrayElement :: TypeInformation a -> PrimExpr -> PrimExpr Source #
extractArrayElement :: TypeInformation a -> PrimExpr -> PrimExpr Source #
arrayTypeName :: TypeInformation a -> TypeName Source #
listTypeInformation :: Nullity a -> TypeInformation (Unnullify a) -> TypeInformation [a] Source #
nonEmptyTypeInformation :: Nullity a -> TypeInformation (Unnullify a) -> TypeInformation (NonEmpty a) Source #
head :: TypeInformation a -> PrimExpr -> PrimExpr Source #
index :: TypeInformation a -> PrimExpr -> PrimExpr -> PrimExpr Source #
last :: TypeInformation a -> PrimExpr -> PrimExpr Source #