funflow-2.0.0: Make composable workflows
Safe HaskellSafe-Inferred
LanguageHaskell2010

Funflow.Type.Family.List

Synopsis
  • type Ø = '[]
  • type (:<) = '(:)
  • type Only a = '[a]
  • type family Null (as :: [k]) :: Bool where ...
  • type family (as :: [k]) ++ (bs :: [k]) :: [k] where ...
  • type family Concat (ls :: [[k]]) :: [k] where ...

Documentation

type Ø = '[] Source #

type (:<) = '(:) infixr 5 Source #

type Only a = '[a] Source #

Type-level singleton list.

type family Null (as :: [k]) :: Bool where ... Source #

Equations

Null Ø = 'True 
Null (a :< as) = 'False 

type family (as :: [k]) ++ (bs :: [k]) :: [k] where ... infixr 5 Source #

Appends two type-level lists.

Equations

Ø ++ bs = bs 
(a :< as) ++ bs = a :< (as ++ bs) 

type family Concat (ls :: [[k]]) :: [k] where ... Source #

Equations

Concat Ø = Ø 
Concat (l :< ls) = l ++ Concat ls