| Copyright | (c) 2024 James Koppel |
|---|---|
| License | BSD3 |
| Stability | experimental |
| Portability | non-portable (GHC Extensions) |
| Safe Haskell | None |
| Language | Haskell2010 |
Data.Comp.Multi.ConstrName
Contents
Description
This module lifts ConstrNameHF to sums of higher-order functors.
Synopsis
- class ConstrNameHF (f :: Fragment) where
- constrNameHF :: forall (e :: Family) l. f e l -> String
Documentation
class ConstrNameHF (f :: Fragment) where Source #
Get the constructor name of a higher-order functor value.
Methods
constrNameHF :: forall (e :: Family) l. f e l -> String Source #
Instances
| All ConstrNameHF fs => ConstrNameHF (Sum fs) Source # | |
Defined in Data.Comp.Multi.ConstrName | |
Orphan instances
| All ConstrNameHF fs => ConstrNameHF (Sum fs) Source # | |