stdlib - 0.0.1

Stdlib.Data.List

Description

Definitions

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#