emgm-0.3.1: Extensible and Modular Generics for the MassesSource codeContentsIndex
Generics.EMGM.Functions.Map
Portabilitynon-portable
Stabilityexperimental
Maintainergenerics@haskell.org
Description

Summary: Generic functions that translate values of one type into values of another.

map is a generic version of the Prelude map function. It works on all supported container datatypes of kind * -> *. The map function is equivalent to fmap after deriving Functor if that were possible.

cast is a generic and configurable function for converting a value of one type into a value of another using instances provided by the programmer.

Synopsis
newtype Map a b = Map {
selMap :: a -> b
}
map :: FRep2 Map f => (a -> b) -> f a -> f b
replace :: FRep2 Map f => f a -> b -> f b
bimap :: BiFRep2 Map f => (a -> c) -> (b -> d) -> f a b -> f c d
cast :: Rep (Map a) b => a -> b
Documentation
newtype Map a b Source
The type of a generic function that takes a value of one type and returns a value of a different type.
Constructors
Map
selMap :: a -> b
show/hide Instances
map :: FRep2 Map f => (a -> b) -> f a -> f bSource
Apply a function to all elements of a container datatype (kind * -> *).
replace :: FRep2 Map f => f a -> b -> f bSource
Replace all a-values in as with b. This is a convenience function for the implementation map (const b) as.
bimap :: BiFRep2 Map f => (a -> c) -> (b -> d) -> f a b -> f c dSource
Given a datatype F a b, bimap f g applies the function f :: a -> c to every a-element and the function g :: b -> d to every b-element. The result is a value with transformed elements: F c d.
cast :: Rep (Map a) b => a -> bSource

Cast a value of one type into a value of another. This is a configurable function that allows you to define your own type-safe conversions for a variety of types.

cast works with instances of Rep (Map i) o in which you choose the input type i and the output type o and implement the function of type i -> o.

Here are some examples of instances (and flags you will need or want): 

   {-# LANGUAGE MultiParamTypeClasses  #-}
   {-# LANGUAGE FlexibleContexts       #-}
   {-# LANGUAGE FlexibleInstances      #-}
   {-# OPTIONS_GHC -fno-warn-orphans   #-}

   instance Rep (Map Int) Char where
     rep = Map chr

   instance Rep (Map Float) Double where
     rep = Map realToFrac

   instance Rep (Map Integer) Integer where
     rep = Map (+42)

There are no pre-defined instances, and a call to cast will not compile if no instances for the input and output type pair is found, so you must define instances in order to use cast.

Produced by Haddock version 2.4.2