S06
Contents
Description
Synopsis
safeTail :: [a] -> Maybe [a] Source #
Safe versions of tail and init.
tail
init
safeInit :: [a] -> Maybe [a] Source #
safeLast :: [a] -> Maybe a Source #
Safe version of last.
last
See ../pdfs/06.pdf.
root :: Term -> Maybe Term Source #
Perform a single beta-step at the root.
isWHNF :: Term -> Bool Source #
Check whether a given term is in weak head normal form.
cbn :: Term -> Maybe Term Source #
Single-step call by name reduction.
equals :: Ord a => Set a -> Set a -> Bool Source #
Test whether two given Sets are qual.
Set
SetAsSortedList
Methods
(==) :: Set a -> Set a -> Bool #
(/=) :: Set a -> Set a -> Bool #