Safe Haskell | None |
---|---|
Language | Haskell2010 |
Mu.Schema.Lens
Contents
Documentation
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)))) Source # | |
(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'))) Source # | |