ValidityPredicates - 0.1.0

Stdlib.Data.List

Definitions

type List (a : Type)Source#

Constructors

nil : List a
:: : a List a List a

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#