pandora-0.3.5: A box of patterns and paradigms
Safe HaskellSafe-Inferred
LanguageHaskell2010

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 #

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 Stack Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Measural 'Length Stack a Source #

Measurable 'Heighth Binary Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Measural 'Heighth Binary a Source #

Measurable 'Length (Construction Maybe) Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Measural 'Length (Construction Maybe) a Source #

Measurable 'Heighth (Construction Wye) Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Measural 'Heighth (Construction Wye) a Source #

type Measural 'Length Stack a Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Stack

type Measural 'Heighth Binary a Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Binary

type Measural 'Length (Construction Maybe) a Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Stack

type Measural 'Heighth (Construction Wye) a Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Binary