dimensional-1.0.1.3: Statically checked physical dimensions, using Type Families and Data Kinds.

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

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.

Synopsis

# Documentation

# 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.
Methods fmap :: (a -> b) -> Dimensional v d a -> Dimensional v d b # (<$) :: a -> Dimensional v d b -> Dimensional v d a #