Data.Yoko.MinCtors

Documentation

class MinCtors t where

Methods

minCtors :: Proxy t -> MinCtorsT t

Instances

MinCtors * Bool

MinCtors * Char

MinCtors * Char

MinCtors * Double

MinCtors * Double

MinCtors * Float

MinCtors * Float

MinCtors * Int

MinCtors * Int

MinCtors * Integer

MinCtors * Integer

MinCtors * Word8

MinCtors * Word8

MinCtors * ()

MinCtors * a => MinCtors * [a]

MinCtors * a => MinCtors * (Ratio a)

MinCtors * a => MinCtors * (Maybe a)

(MinCtors * a, MinCtors * b) => MinCtors * (Either a b)

(MinCtors * a, MinCtors * b) => MinCtors * (a, b)

(MinCtors * a, MinCtors * b, MinCtors * c) => MinCtors * (a, b, c)

MinCtors (* -> * -> *) Either

MinCtors (* -> * -> *) (,)

MinCtors (* -> *) []

MinCtors (* -> *) Ratio

MinCtors (* -> *) ForeignPtr

MinCtors (* -> *) ForeignPtr

MinCtors (* -> *) Maybe

MinCtors * a => MinCtors (* -> * -> *) ((,,) a)

MinCtors * a => MinCtors (* -> *) (Either a)

MinCtors * a => MinCtors (* -> *) ((,) a)

(MinCtors * a, MinCtors * b) => MinCtors (* -> *) ((,,) a b)

gen_minCtors :: (MinCtorsTrim t, MinCtorsWorker t (DTs t)) => Proxy t -> MinCtorsT t

nCtors :: MinCtorsTrim t => Int -> Proxy t -> MinCtorsT t