ideas-1.7: 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 #