nonempty-wrapper-0.1.1.0: Create NonEmpty version of any container
CopyrightGautier DI FOLCO
LicenseISC
MaintainerGautier DI FOLCO <foss@difolco.dev>
StabilityUnstable
PortabilityGHC
Safe HaskellNone
LanguageHaskell2010

Data.NonEmpty.TH

Contents

Description

Create NonEmpty values from TemplateHaskell instead of unsafe functions.

Since 0.1.1.0

Synopsis

Documentation

makeNonEmpty :: Q Exp -> Q Exp Source #

Build a NonEmpty safely.

Since 0.1.1.0

$(makeNonEmpty [|"Hello"|])
$(makeNonEmpty [|[1, 2]|])

Re-export

trustedNonEmpty :: a -> NonEmpty a Source #

Trusted value