QLinear.Integration.Linear.From

Documentation

class FromLinear m where

Associated Types

type Q m :: *

Methods

fromLinear :: m -> Q m

Instances

FromLinear (V4 (V4 a))

Defined in QLinear.Integration.Linear.From

Associated Types

type Q (V4 (V4 a)) :: Type

Methods

fromLinear :: V4 (V4 a) -> Q (V4 (V4 a))

FromLinear (V4 (V3 a))

Defined in QLinear.Integration.Linear.From

Associated Types

type Q (V4 (V3 a)) :: Type

Methods

fromLinear :: V4 (V3 a) -> Q (V4 (V3 a))

FromLinear (V4 (V2 a))

Defined in QLinear.Integration.Linear.From

Associated Types

type Q (V4 (V2 a)) :: Type

Methods

fromLinear :: V4 (V2 a) -> Q (V4 (V2 a))

FromLinear (V4 (V1 a))

Defined in QLinear.Integration.Linear.From

Associated Types

type Q (V4 (V1 a)) :: Type

Methods

fromLinear :: V4 (V1 a) -> Q (V4 (V1 a))

FromLinear (V3 (V4 a))

Defined in QLinear.Integration.Linear.From

Associated Types

type Q (V3 (V4 a)) :: Type

Methods

fromLinear :: V3 (V4 a) -> Q (V3 (V4 a))

FromLinear (V3 (V3 a))

Defined in QLinear.Integration.Linear.From

Associated Types

type Q (V3 (V3 a)) :: Type

Methods

fromLinear :: V3 (V3 a) -> Q (V3 (V3 a))

FromLinear (V3 (V2 a))

Defined in QLinear.Integration.Linear.From

Associated Types

type Q (V3 (V2 a)) :: Type

Methods

fromLinear :: V3 (V2 a) -> Q (V3 (V2 a))

FromLinear (V3 (V1 a))

Defined in QLinear.Integration.Linear.From

Associated Types

type Q (V3 (V1 a)) :: Type

Methods

fromLinear :: V3 (V1 a) -> Q (V3 (V1 a))

FromLinear (V2 (V4 a))

Defined in QLinear.Integration.Linear.From

Associated Types

type Q (V2 (V4 a)) :: Type

Methods

fromLinear :: V2 (V4 a) -> Q (V2 (V4 a))

FromLinear (V2 (V3 a))

Defined in QLinear.Integration.Linear.From

Associated Types

type Q (V2 (V3 a)) :: Type

Methods

fromLinear :: V2 (V3 a) -> Q (V2 (V3 a))

FromLinear (V2 (V2 a))

Defined in QLinear.Integration.Linear.From

Associated Types

type Q (V2 (V2 a)) :: Type

Methods

fromLinear :: V2 (V2 a) -> Q (V2 (V2 a))

FromLinear (V2 (V1 a))

Defined in QLinear.Integration.Linear.From

Associated Types

type Q (V2 (V1 a)) :: Type

Methods

fromLinear :: V2 (V1 a) -> Q (V2 (V1 a))

FromLinear (V1 (V4 a))

Defined in QLinear.Integration.Linear.From

Associated Types

type Q (V1 (V4 a)) :: Type

Methods

fromLinear :: V1 (V4 a) -> Q (V1 (V4 a))

FromLinear (V1 (V3 a))

Defined in QLinear.Integration.Linear.From

Associated Types

type Q (V1 (V3 a)) :: Type

Methods

fromLinear :: V1 (V3 a) -> Q (V1 (V3 a))

FromLinear (V1 (V2 a))

Defined in QLinear.Integration.Linear.From

Associated Types

type Q (V1 (V2 a)) :: Type

Methods

fromLinear :: V1 (V2 a) -> Q (V1 (V2 a))

FromLinear (V1 (V1 a))

Defined in QLinear.Integration.Linear.From

Associated Types

type Q (V1 (V1 a)) :: Type

Methods

fromLinear :: V1 (V1 a) -> Q (V1 (V1 a))