Mu.Schema.Lens

Documentation

record :: BuildRecord sch args r => r -> Term sch ('DRecord name args)

is :: s -> APrism' s () -> Bool

Orphan instances

(Choice p, Applicative f, HasChoiceIx (ChoiceIndexOf choiceName choiceDefs) choiceDefs choiceDefs' choiceType choiceType') => IsLabel choiceName (p choiceType (f choiceType') -> p (Term sch ('DEnum name choiceDefs :: TypeDefB Type typeName Symbol)) (f (Term sch ('DEnum name choiceDefs' :: TypeDefB Type typeName Symbol))))

Methods

fromLabel :: p choiceType (f choiceType') -> p (Term sch ('DEnum name choiceDefs)) (f (Term sch ('DEnum name choiceDefs')))

(Functor f, HasFieldIx (IndexOf fieldName fields) fields fields' fieldType fieldType', Interpret sch fieldType ~ fieldValue, Interpret sch fieldType' ~ fieldValue', (Uninterpret fieldValue :: FieldType Symbol) ~ fieldType, (Uninterpret fieldValue' :: FieldType Symbol) ~ fieldType', UninterpretField sch fieldValue') => IsLabel fieldName ((fieldValue -> f fieldValue') -> Term sch ('DRecord name fields) -> f (Term sch ('DRecord name fields')))

Methods

fromLabel :: (fieldValue -> f fieldValue') -> Term sch ('DRecord name fields) -> f (Term sch ('DRecord name fields'))