type List (a : Type)Source#

elem : {A : Type} → (A → A → Bool) → A → List A → BoolSource#

foldr : {A : Type} → {B : Type} → (A → B → B) → B → List A → BSource#

foldl : {A : Type} → {B : Type} → (B → A → B) → B → List A → BSource#

map : {A : Type} → {B : Type} → (A → B) → List A → List BSource#

filter : {A : Type} → (A → Bool) → List A → List ASource#

length : {A : Type} → List A → NatSource#

reverse : {A : Type} → List A → List ASource#

replicate : {A : Type} → Nat → A → List ASource#

take : {A : Type} → Nat → List A → List ASource#

splitAt : {A : Type} → Nat → List A → List A × List ASource#

merge : {A : Type} → (A → A → Ordering) → List A → List A → List ASource#

partition : {A : Type} → (A → Bool) → List A → List A × List ASource#

++ : {A : Type} → List A → List A → List ASource#

flatten : {A : Type} → List (List A) → List ASource#

prependToAll : {A : Type} → A → List A → List ASource#

intersperse : {A : Type} → A → List A → List ASource#

head : {A : Type} → List A → ASource#

tail : {A : Type} → List A → List ASource#

terminating transpose : {A : Type} → List (List A) → List (List A)Source#

any : {A : Type} → (A → Bool) → List A → BoolSource#

null : {A : Type} → List A → BoolSource#