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)

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, Flatten t (InnerType t), Typed (InnerType t)) => 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]

Flatten an array to a list.

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

Total number of elements in a possibly nested array.

class Flatten a b

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 ...

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.