Data.TypeLevel.List

Documentation

class Length (as :: [k]) where

Methods

length :: Integral n => n

Instances

Length ('[] :: [k])

Defined in Data.TypeLevel.List

Methods

length :: Integral n => n

Length as => Length (a ': as :: [k])

Defined in Data.TypeLevel.List

Methods

length :: Integral n => n

class IsPrefixOf (xs :: [k]) (ys :: [k])

Instances

IsPrefixOf ('[] :: [k]) (ys :: [k])

Defined in Data.TypeLevel.List

IsPrefixOf xs ys => IsPrefixOf (x ': xs :: [a]) (x ': ys :: [a])

Defined in Data.TypeLevel.List

class InfixIndex (xs :: [k]) (ys :: [k]) where

Methods

infixIndex :: Int

Instances

InfixIndex xs ys => InfixIndex (xs :: [a]) (y ': ys :: [a])

Defined in Data.TypeLevel.List

Methods

infixIndex :: Int

IsPrefixOf (x ': xs) (x ': ys) => InfixIndex (x ': xs :: [a]) (x ': ys :: [a])

Defined in Data.TypeLevel.List

Methods

infixIndex :: Int

module Data.TypeLevel.List.Unzip