Contents
Index
Engine.Relational
Synopsis
type
RModule
=
Module
Predicate
Relational
relIsFinal
:: Monad m =>
Relational
-> m Bool
relRewrite
:: (MonadIO m, MonadState
RModule
m) =>
Relational
-> m
Relational
invertPerm
::
Perm
->
Perm
permute
::
Vector
->
Perm
->
Vector
invert
::
Perm
->
Perm
freezeCTVars
:: Int ->
Vector
->
Vector
freezeTerm
:: Int ->
Term
->
Term
tryUnify
::
Vector
->
Vector
-> Either String
Vector
Produced by
Haddock
version 0.6