Data.Partial.Utils

Description

Utility functions used by generated Template Haskell code.

Documentation

type Opt b x = Tagged b (Tagged x (If b x ())) Source #

joinOpt :: forall b1 b2 x. KnownBool b1 => Opt b1 x -> Opt b2 x -> Opt (b1 || b2) x Source #

fromOpt :: forall b x. KnownBool b => x -> Opt b x -> x Source #

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

Methods

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

Instances

(TypeError ((Text dc :<>: Text " does not have a required field ") :<>: Text fld) :: Constraint) => Require dc fld False Source #
Instance details Defined in Data.Partial.Utils Methods unOpt :: p dc -> p fld -> Opt False x -> x Source #
Require dc fld True Source #
Instance details Defined in Data.Partial.Utils Methods unOpt :: p dc -> p fld -> Opt True x -> x Source #