Data.FixedLength

Documentation

class (list ~ List (Position list)) => C list where

Associated Types

type Position list :: *

type List position :: * -> *

Methods

switch :: f T -> (forall list0. C list0 => f (T list0)) -> f list

Instances

C T

C list => C (T list)

newtype Wrap list a

Constructors

Wrap

Fields

unwrap :: list a

Instances

C list => Functor (Wrap list)

C list => Applicative (Wrap list)

C list => Foldable (Wrap list)

C list => Traversable (Wrap list)

newtype WrapPos list

Constructors

WrapPos

Fields

unwrapPos :: Position list

Instances

C list => Eq (WrapPos list)

C list => Ord (WrapPos list)

data Zero

Instances

Eq Zero

Ord Zero

type List Zero = T

data Succ pos

Constructors

Stop

Succ pos

Instances

Eq pos => Eq (Succ pos)

Ord pos => Ord (Succ pos)

Show pos => Show (Succ pos)

type List (Succ position) = T (List position)

map :: C list => (a -> b) -> list a -> list b

zipWith :: C list => (a -> b -> c) -> list a -> list b -> list c

sequenceA :: (Applicative f, C list) => list (f a) -> f (list a)

repeat :: C list => a -> list a

index :: C list => WrapPos list -> list a -> a

update :: C list => (a -> a) -> WrapPos list -> list a -> list a

indices :: C list => list (WrapPos list)

numFromPos :: C list => WrapPos list -> Word

type N0 = T

type N1 = GE1 T

type N2 = GE2 T

type N3 = GE3 T

type N4 = GE4 T

type N5 = GE5 T

type N6 = GE6 T

type N7 = GE7 T

type N8 = GE8 T

type GE1 list = T list

type GE2 list = T (GE1 list)

type GE3 list = T (GE2 list)

type GE4 list = T (GE3 list)

type GE5 list = T (GE4 list)

type GE6 list = T (GE5 list)

type GE7 list = T (GE6 list)

type GE8 list = T (GE7 list)

i0 :: WrapPos (GE1 list)

i1 :: WrapPos (GE2 list)

i2 :: WrapPos (GE3 list)

i3 :: WrapPos (GE4 list)

i4 :: WrapPos (GE5 list)

i5 :: WrapPos (GE6 list)

i6 :: WrapPos (GE7 list)

i7 :: WrapPos (GE8 list)

(!:) :: a -> f a -> T f a infixr 5

end :: T a