Data.Partial.Utils

Utility functions used by generated Template Haskell code.

Documentation

data Opt b x where

Constructors

Has :: x -> Opt True x

Hasn't :: Opt False x

joinOpt :: Opt b1 x -> Opt b2 x -> Opt (b1 || b2) x

fromOpt :: x -> Opt b x -> x

class Require (dc :: Symbol) (fld :: Symbol) (b :: Bool) where

Methods

unOpt :: p dc -> p fld -> Opt b x -> x

Instances

(TypeError ((Text dc :<>: Text " does not have a required field ") :<>: Text fld) :: Constraint) => Require dc fld False

Defined in Data.Partial.Utils

Methods

unOpt :: p dc -> p fld -> Opt False x -> x

Require dc fld True

Defined in Data.Partial.Utils

Methods

unOpt :: p dc -> p fld -> Opt True x -> x