Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Scheme | |
|
Instances
Functor SchemeGen Source # | |
Foldable SchemeGen Source # | |
Defined in Intensional.Scheme fold :: Monoid m => SchemeGen m -> m # foldMap :: Monoid m => (a -> m) -> SchemeGen a -> m # foldMap' :: Monoid m => (a -> m) -> SchemeGen a -> m # foldr :: (a -> b -> b) -> b -> SchemeGen a -> b # foldr' :: (a -> b -> b) -> b -> SchemeGen a -> b # foldl :: (b -> a -> b) -> b -> SchemeGen a -> b # foldl' :: (b -> a -> b) -> b -> SchemeGen a -> b # foldr1 :: (a -> a -> a) -> SchemeGen a -> a # foldl1 :: (a -> a -> a) -> SchemeGen a -> a # toList :: SchemeGen a -> [a] # length :: SchemeGen a -> Int # elem :: Eq a => a -> SchemeGen a -> Bool # maximum :: Ord a => SchemeGen a -> a # minimum :: Ord a => SchemeGen a -> a # | |
Traversable SchemeGen Source # | |
Binary d => Binary (SchemeGen d) Source # | |
Outputable d => Outputable (SchemeGen d) Source # | |
Outputable d => Refined (SchemeGen d) Source # | |
unsats :: Scheme -> ConstraintSet Source #
Given a scheme s
, unsats s
is the constraint set containing
just the trivially unsatisfiable constraints associated with s
.