Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
data ListElementType kk t where Source #
FirstElementType :: ListElementType (t ': tt) t | |
RestElementType :: ListElementType aa t -> ListElementType (a ': aa) t |
Instances
pickListElement :: forall k (w :: k -> Type) (t :: k) (lt :: [k]). ListElementType lt t -> ListType w lt -> w t Source #
lookUpListElement :: forall k (w :: k -> Type) (t :: k) (lt :: [k]). TestEquality w => w t -> ListType w lt -> Maybe (ListElementType lt t) Source #
countListType :: ListType w lt -> ListType (ListElementType lt) lt Source #
listElementTypeIndex :: Some (ListElementType lt) -> Some (Greater (ListLength lt)) Source #
indexListElementType :: ListType w lt -> Some (Greater (ListLength lt)) -> SomeFor w (ListElementType lt) Source #