Stdlib.Data.List
Contents
import Stdlib.Data.List.Base open public
phead {A} {{Partial}} : List A -> ASource#
𝒪(1). Partial function that returns the first element of a List.
instance eqListI {A} {{Eq A}} : Eq (List A)Source#
instance ordListI {A} {{Ord A}} : Ord (List A)Source#
instance showListI {A} {{Show A}} : Show (List A)Source#