Data.Generics.Sum.Internal.Subtype

generic-lens-core-2.2.1.0: Generically derive traversals, lenses and prisms.

Copyright | (C) 2020 Csongor Kiss
License | BSD3
Maintainer | Csongor Kiss <kiss.csongor.kiss@gmail.com>
Stability | experimental
Portability | non-portable
Safe Haskell | None
Language | Haskell2010

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)) #

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