ideas-1.5: Feedback services for intelligent tutoring systems

Maintainerbastiaan.heeren@ou.nl
Stabilityprovisional
Portabilityportable (depends on ghc)
Safe HaskellSafe
LanguageHaskell98

Ideas.Common.Rewriting.AC

Contents

Description

 

Synopsis

Types

type Pairings a = a -> a -> [[(a, a)]] Source

type PairingsList a b = [a] -> [b] -> [[([a], [b])]] Source

type PairingsPair a b = (a, a) -> (b, b) -> [[(a, b)]] Source

Primitive pairings functions

pairingsMatchA :: (a -> [b] -> c) -> [a] -> [b] -> [[c]] Source