generic-lens-core-2.1.0.0: Generically derive traversals, lenses and prisms.
Copyright(C) 2020 Csongor Kiss
LicenseBSD3
MaintainerCsongor Kiss <kiss.csongor.kiss@gmail.com>
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Data.Generics.Sum.Internal.Subtype

Description

Structural subtype relationships between sum types.

Documentation

type Context sub sup = (Generic sub, Generic sup, GAsSubtype (Rep sub) (Rep sup)) Source #

derived :: Context sub sup => Prism' sup sub Source #