Contents Index

Org.Org.Semantic.HBase.Structure.FixedList

Description

lists of fixed size, all of a single element type.

Synopsis

data ZeroList a = MkZeroList data NextList t a = MkNextList a (t a) class SameIndexSquare p where sameIndexSquare :: a -> a -> p (p a)

Documentation

data ZeroList a

zero-length list Constructors MkZeroList Instances HasReturn ZeroList Functor ZeroList FunctorApply ZeroList ExtractableFunctor ZeroList SameIndexSquare ZeroList

data NextList t a

list of length one or more, where t is type-constructor for the rest of the list Constructors MkNextList a (t a) Instances HasReturn t => HasReturn (NextList t) Functor t => Functor (NextList t) FunctorApply t => FunctorApply (NextList t) ExtractableFunctor t => ExtractableFunctor (NextList t) (HasReturn t, Functor t, SameIndexSquare t) => SameIndexSquare (NextList t)

class SameIndexSquare p where

class for creating matrices with one value on the diagonal and another in the rest of the matrix Methods sameIndexSquare :: a -> a -> p (p a) Instances SameIndexSquare ZeroList (HasReturn t, Functor t, SameIndexSquare t) => SameIndexSquare (NextList t)

Produced by Haddock version 0.6