polydata-core-0.1.0.0: Core data definitions for the "polydata" package

Safe HaskellNone
LanguageHaskell2010

Data.Poly.IsPoly

Synopsis

Documentation

type family GetPolyConstraint a :: * -> Constraint where ... Source #

Gets the type of the constraint in a Poly

Equations

GetPolyConstraint (Poly c) = c 

class a ~ Poly (GetPolyConstraint a) => IsPoly a Source #

Instances

(~) * a (Poly (GetPolyConstraint a)) => IsPoly a Source #