dimensional-1.5: Statically checked physical dimensions

Copyright | Copyright (C) 2006-2018 Bjorn Buckwalter
License | BSD3
Maintainer | bjorn@buckwalter.se
Stability | Stable
Portability | GHC only
Safe Haskell | Safe-Inferred
Language | Haskell2010

Numeric.Units.Dimensional.Functor

Contents

- Orphan instances

Description

Provides a `Functor` instance for `Dimensional`.

Note that this instance is dubious, because it allows you to break the dimensional abstraction. See `dmap` for more information.

Note that, while this instance overlaps with that given for `Dimensionless`, it is confluent with that instance.

Note that this is an orphan instance.

# Orphan instances

KnownVariant v => Functor (Dimensional v d) Source # | A `Functor` instance for `Dimensional`. Note that this instance is dubious, because it allows you to break the dimensional abstraction. See `dmap` for more information. Note that, while this instance overlaps with that given for `Dimensionless`, it is confluent with that instance. Note that this is an orphan instance.
Instance details Methods fmap :: (a -> b) -> Dimensional v d a -> Dimensional v d b Source # (<$) :: a -> Dimensional v d b -> Dimensional v d a Source #