Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class Measurable f t where Source #
measurement :: Tagged f (t a) -> Measural f t a Source #
Instances
Measurable 'Length Stack Source # | |
Measurable 'Heighth Binary Source # | |
Measurable 'Length (Construction Maybe) Source # | |
Defined in Pandora.Paradigm.Structure.Stack measurement :: Tagged 'Length (Construction Maybe a) -> Measural 'Length (Construction Maybe) a Source # | |
Measurable 'Heighth (Construction Wye) Source # | |
Defined in Pandora.Paradigm.Structure.Binary measurement :: Tagged 'Heighth (Construction Wye a) -> Measural 'Heighth (Construction Wye) a Source # |
measure :: forall f t a. Measurable f t => t a -> Measural f t a Source #
Instances
Measurable 'Length Stack Source # | |
Measurable 'Heighth Binary Source # | |
Measurable 'Length (Construction Maybe) Source # | |
Defined in Pandora.Paradigm.Structure.Stack measurement :: Tagged 'Length (Construction Maybe a) -> Measural 'Length (Construction Maybe) a Source # | |
Measurable 'Heighth (Construction Wye) Source # | |
Defined in Pandora.Paradigm.Structure.Binary measurement :: Tagged 'Heighth (Construction Wye a) -> Measural 'Heighth (Construction Wye) a Source # | |
type Measural 'Length Stack a Source # | |
Defined in Pandora.Paradigm.Structure.Stack | |
type Measural 'Heighth Binary a Source # | |
Defined in Pandora.Paradigm.Structure.Binary | |
type Measural 'Length (Construction Maybe) a Source # | |
Defined in Pandora.Paradigm.Structure.Stack | |
type Measural 'Heighth (Construction Wye) a Source # | |
Defined in Pandora.Paradigm.Structure.Binary |