Music.Analysis.Abstract.Motive

Portability	portable
Stability	experimental
Maintainer	silva.samuel@alumni.uminho.pt

Contents

Combinators

Description

This module implements a generic Motive

Synopsis

data Motive a = Motive (Settings, [a])

mkMotive :: Settings -> [a] -> Motive a

fromMotive :: Motive a -> (Settings, [a])

toMotive :: (Settings, [a]) -> Motive a

meta :: (Settings -> Settings) -> Motive a -> Motive a

cataMotive :: b -> (Settings -> (a, b) -> b) -> Motive a -> (Settings, b)

mapMotive :: (Settings -> a -> b) -> Motive a -> Motive b

joinMotivePair :: (Motive a, Motive b) -> Motive (a, b)

splitMotivePair :: Motive (a, b) -> (Motive a, Motive b)

joinMotiveList :: [Motive a] -> Motive [a]

splitMotiveList :: Eq a => Motive [a] -> [Motive a]

Documentation

data Motive a

Source

Motive Definition

Constructors

Motive (Settings, [a])

Instances

Eq a => Eq (Motive a)

Read a => Read (Motive a)

Show a => Show (Motive a)

mkMotive :: Settings -> [a] -> Motive a

Source

make new motive

fromMotive :: Motive a -> (Settings, [a])

Source

get Internal Motive representation

toMotive :: (Settings, [a]) -> Motive a

Source

get Motive from internal representation

Combinators

meta :: (Settings -> Settings) -> Motive a -> Motive a

Source

cataMotive :: b -> (Settings -> (a, b) -> b) -> Motive a -> (Settings, b)

Source

General cata

mapMotive :: (Settings -> a -> b) -> Motive a -> Motive b

Source

General map

joinMotivePair :: (Motive a, Motive b) -> Motive (a, b)

Source

join Pair of Motive into Motive of Pair

splitMotivePair :: Motive (a, b) -> (Motive a, Motive b)

Source

Split Motive of Pair into Pair of Motive

joinMotiveList :: [Motive a] -> Motive [a]

Source

join List of Motive into Motive of List

splitMotiveList :: Eq a => Motive [a] -> [Motive a]

Source

split Motive of List into List of Motive

Produced by Haddock version 2.6.0