Copilot.Core.Type.Array

Implementation of an array that uses type literals to store length. No explicit indexing is used for the input data. Supports arbitrary nesting of arrays.

Documentation

data Array (n :: Nat) t

Implementation of an array that uses type literals to store length.

Instances

Foldable (Array n)

This instance is deprecated in Copilot 3.11.

Defined in Copilot.Core.Type.Array

Methods

fold :: Monoid m => Array n m -> m

foldMap :: Monoid m => (a -> m) -> Array n a -> m

foldMap' :: Monoid m => (a -> m) -> Array n a -> m

foldr :: (a -> b -> b) -> b -> Array n a -> b

foldr' :: (a -> b -> b) -> b -> Array n a -> b

foldl :: (b -> a -> b) -> b -> Array n a -> b

foldl' :: (b -> a -> b) -> b -> Array n a -> b

foldr1 :: (a -> a -> a) -> Array n a -> a

foldl1 :: (a -> a -> a) -> Array n a -> a

toList :: Array n a -> [a]

null :: Array n a -> Bool

length :: Array n a -> Int

elem :: Eq a => a -> Array n a -> Bool

maximum :: Ord a => Array n a -> a

minimum :: Ord a => Array n a -> a

sum :: Num a => Array n a -> a

product :: Num a => Array n a -> a

Show t => Show (Array n t)

Defined in Copilot.Core.Type.Array

Methods

showsPrec :: Int -> Array n t -> ShowS

show :: Array n t -> String

showList :: [Array n t] -> ShowS

(Typeable t, Typed t, KnownNat n) => Typed (Array n t)

Defined in Copilot.Core.Type

Methods

typeOf :: Type (Array n t)

simpleType :: Type (Array n t) -> SimpleType

Flatten a b => Flatten (Array n a) b

Flattening of nested arrays.

Defined in Copilot.Core.Type.Array

Methods

flatten :: forall (n0 :: Nat). Array n0 (Array n a) -> [b]

array :: forall n t. KnownNat n => [t] -> Array n t

Smart array constructor that only type checks if the length of the given list matches the length of the array at type level.

flatten :: Flatten a b => Array n a -> [b]

Deprecated: This function is deprecated in Copilot 3.11.

Flatten an array to a list.

size :: forall a n b. (Flatten a b, b ~ InnerType a) => Array n a -> Int

Deprecated: This function is deprecated in Copilot 3.11.

Total number of elements in a possibly nested array.

class Flatten a b

Deprecated: This class is deprecated in Copilot 3.11.

Flattening or conversion of arrays to lists.

Minimal complete definition

flatten

Instances

Flatten a a

Flattening of plain arrays.

Defined in Copilot.Core.Type.Array

Methods

flatten :: forall (n :: Nat). Array n a -> [a]

Flatten a b => Flatten (Array n a) b

Flattening of nested arrays.

Defined in Copilot.Core.Type.Array

Methods

flatten :: forall (n0 :: Nat). Array n0 (Array n a) -> [b]

type family InnerType x where ...

Deprecated: This type family is deprecated in Copilot 3.11.

Association between an array and the type of the elements it contains.

Equations

InnerType (Array _ x) = InnerType x

InnerType x = x

arrayelems :: Array n a -> [a]

Return the elemts of an array.