PropLogic-0.9.0.4: Propositional Logic

Safe HaskellSafe-Infered

Costack

Documentation

data Costack a Source

Instances

Ord IForm 
Ord ILine 
Display IForm 
Eq a => Eq (Costack a) 
Read a => Read (Costack a) 
Show a => Show (Costack a) 
Display a => Display (XForm a) 

fromList :: [a] -> Costack aSource

toList :: Costack a -> [a]Source

cons :: a -> Costack a -> Costack aSource

cocons :: Costack a -> a -> Costack aSource

head :: Costack a -> aSource

tail :: Costack a -> Costack aSource

isEmpty :: Costack a -> BoolSource

empty :: Costack aSource

singleton :: a -> Costack aSource

append :: Costack a -> Costack a -> Costack aSource

concat :: [Costack a] -> Costack aSource

merge :: Costack (Costack a) -> Costack aSource

length :: Costack a -> IntSource

map :: (a -> b) -> Costack a -> Costack bSource

foldr :: (a -> b -> b) -> b -> Costack a -> bSource

take :: Int -> Costack a -> Costack aSource

filter :: (a -> Bool) -> Costack a -> Costack aSource

sort :: Ord a => Costack a -> Costack aSource

strictSort :: Ord a => Costack a -> Costack aSource

sorted :: Ord a => Costack a -> BoolSource

strictSorted :: Ord a => Costack a -> BoolSource