Safe Haskell | None |
---|---|
Language | Haskell2010 |
Internals.
Documentation
newtype BoundScope Source #
Instances
Eq BoundScope Source # | |
Defined in Blanks.Core (==) :: BoundScope -> BoundScope -> Bool # (/=) :: BoundScope -> BoundScope -> Bool # | |
Show BoundScope Source # | |
Defined in Blanks.Core showsPrec :: Int -> BoundScope -> ShowS # show :: BoundScope -> String # showList :: [BoundScope] -> ShowS # | |
NFData BoundScope Source # | |
Defined in Blanks.Core rnf :: BoundScope -> () # |
FreeScope | |
|
Instances
Functor FreeScope Source # | |
Foldable FreeScope Source # | |
Defined in Blanks.Core fold :: Monoid m => FreeScope m -> m # foldMap :: Monoid m => (a -> m) -> FreeScope a -> m # foldMap' :: Monoid m => (a -> m) -> FreeScope a -> m # foldr :: (a -> b -> b) -> b -> FreeScope a -> b # foldr' :: (a -> b -> b) -> b -> FreeScope a -> b # foldl :: (b -> a -> b) -> b -> FreeScope a -> b # foldl' :: (b -> a -> b) -> b -> FreeScope a -> b # foldr1 :: (a -> a -> a) -> FreeScope a -> a # foldl1 :: (a -> a -> a) -> FreeScope a -> a # toList :: FreeScope a -> [a] # length :: FreeScope a -> Int # elem :: Eq a => a -> FreeScope a -> Bool # maximum :: Ord a => FreeScope a -> a # minimum :: Ord a => FreeScope a -> a # | |
Traversable FreeScope Source # | |
Eq a => Eq (FreeScope a) Source # | |
Show a => Show (FreeScope a) Source # | |
NFData a => NFData (FreeScope a) Source # | |
Defined in Blanks.Core |
data BinderScope n e Source #
BinderScope | |
|
Instances
newtype EmbedScope f e Source #
EmbedScope | |
|
Instances
Functor f => Functor (EmbedScope f) Source # | |
Defined in Blanks.Core fmap :: (a -> b) -> EmbedScope f a -> EmbedScope f b # (<$) :: a -> EmbedScope f b -> EmbedScope f a # | |
Eq (f e) => Eq (EmbedScope f e) Source # | |
Defined in Blanks.Core (==) :: EmbedScope f e -> EmbedScope f e -> Bool # (/=) :: EmbedScope f e -> EmbedScope f e -> Bool # | |
Show (f e) => Show (EmbedScope f e) Source # | |
Defined in Blanks.Core showsPrec :: Int -> EmbedScope f e -> ShowS # show :: EmbedScope f e -> String # showList :: [EmbedScope f e] -> ShowS # | |
NFData (f e) => NFData (EmbedScope f e) Source # | |
Defined in Blanks.Core rnf :: EmbedScope f e -> () # |