Safe Haskell	Safe-Inferred
Language	Haskell2010

Pandora.Paradigm.Structure.Ability.Measurable

Documentation

class Measurable f t where Source #

Associated Types

type Measural (f :: k) (t :: * -> *) a Source #

Methods

measurement :: Tagged f (t a) -> Measural f t a Source #

Instances

Instances details

Measurable 'Length List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Measural 'Length List a Source # Methods measurement :: Tagged 'Length (List a) -> Measural 'Length List a Source #
Measurable 'Heighth Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary Associated Types type Measural 'Heighth Binary a Source # Methods measurement :: Tagged 'Heighth (Binary a) -> Measural 'Heighth Binary a Source #
Measurable 'Length (Construction Maybe) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Measural 'Length (Construction Maybe) a Source # Methods measurement :: Tagged 'Length (Construction Maybe a) -> Measural 'Length (Construction Maybe) a Source #
Measurable 'Heighth (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary Associated Types type Measural 'Heighth (Construction Wye) a Source # Methods 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 #

data Scale Source #

Constructors

Length
Heighth
Depth

Instances

Instances details

Measurable 'Length List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Measural 'Length List a Source # Methods measurement :: Tagged 'Length (List a) -> Measural 'Length List a Source #
Measurable 'Heighth Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary Associated Types type Measural 'Heighth Binary a Source # Methods measurement :: Tagged 'Heighth (Binary a) -> Measural 'Heighth Binary a Source #
Measurable 'Length (Construction Maybe) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Measural 'Length (Construction Maybe) a Source # Methods measurement :: Tagged 'Length (Construction Maybe a) -> Measural 'Length (Construction Maybe) a Source #
Measurable 'Heighth (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary Associated Types type Measural 'Heighth (Construction Wye) a Source # Methods measurement :: Tagged 'Heighth (Construction Wye a) -> Measural 'Heighth (Construction Wye) a Source #
type Measural 'Length List a Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Measural 'Length List a = Numerator
type Measural 'Heighth Binary a Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary type Measural 'Heighth Binary a = Numerator
type Measural 'Length (Construction Maybe) a Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Measural 'Length (Construction Maybe) a = Denumerator
type Measural 'Heighth (Construction Wye) a Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary type Measural 'Heighth (Construction Wye) a = Denumerator