Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.xfc4e5982026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · fc4e598 · 2026-10-11

Modulelinear-base-0.8.1

Prelude.Linear.GenericUtil

2 types

Packagelinear-base-0.8.1
Exports3
LicenceMIT

typetype FixupMetaData a (g :: Type -> Type) = Fixup (Rep a) g

typetype FixupMetaData1 (f :: k -> Type) (g :: k -> Type) = Fixup1 (Rep (f Any)) g

familytype family RemoveMetaData (f :: k -> Type) :: k -> Type where

Equations

RemoveMetaData (D1 _c f) = D1 Any (RemoveMetaData f)
RemoveMetaData (C1 _c f) = C1 Any (RemoveMetaData f)
RemoveMetaData (S1 _c f) = S1 Any f
RemoveMetaData (f :*: g) = RemoveMetaData f :*: RemoveMetaData g
RemoveMetaData (f :+: g) = RemoveMetaData f :+: RemoveMetaData g
RemoveMetaData x = x