Blanks.Sub

Documentation

newtype Sub a

Constructors

Sub

Fields

• unSub :: Except SubError a

Instances

Monad Sub

Defined in Blanks.Sub

Methods

(>>=) :: Sub a -> (a -> Sub b) -> Sub b

(>>) :: Sub a -> Sub b -> Sub b

return :: a -> Sub a

fail :: String -> Sub a

Functor Sub

Defined in Blanks.Sub

Methods

fmap :: (a -> b) -> Sub a -> Sub b

(<$) :: a -> Sub b -> Sub a

Applicative Sub

Defined in Blanks.Sub

Methods

pure :: a -> Sub a

(<*>) :: Sub (a -> b) -> Sub a -> Sub b

liftA2 :: (a -> b -> c) -> Sub a -> Sub b -> Sub c

(*>) :: Sub a -> Sub b -> Sub b

(<*) :: Sub a -> Sub b -> Sub a

Foldable Sub

Defined in Blanks.Sub

Methods

fold :: Monoid m => Sub m -> m

foldMap :: Monoid m => (a -> m) -> Sub a -> m

foldr :: (a -> b -> b) -> b -> Sub a -> b

foldr' :: (a -> b -> b) -> b -> Sub a -> b

foldl :: (b -> a -> b) -> b -> Sub a -> b

foldl' :: (b -> a -> b) -> b -> Sub a -> b

foldr1 :: (a -> a -> a) -> Sub a -> a

foldl1 :: (a -> a -> a) -> Sub a -> a

toList :: Sub a -> [a]

null :: Sub a -> Bool

length :: Sub a -> Int

elem :: Eq a => a -> Sub a -> Bool

maximum :: Ord a => Sub a -> a

minimum :: Ord a => Sub a -> a

sum :: Num a => Sub a -> a

product :: Num a => Sub a -> a

Traversable Sub

Defined in Blanks.Sub

Methods

traverse :: Applicative f => (a -> f b) -> Sub a -> f (Sub b)

sequenceA :: Applicative f => Sub (f a) -> f (Sub a)

mapM :: Monad m => (a -> m b) -> Sub a -> m (Sub b)

sequence :: Monad m => Sub (m a) -> m (Sub a)

ThrowSub Sub

Defined in Blanks.Sub

Methods

throwSub :: SubError -> Sub a

data SubError

Constructors

ApplyError !Int !Int

UnboundError !Int

NonBinderError

Instances

Eq SubError

Defined in Blanks.Sub

Methods

(==) :: SubError -> SubError -> Bool

(/=) :: SubError -> SubError -> Bool

Show SubError

Defined in Blanks.Sub

Methods

showsPrec :: Int -> SubError -> ShowS

show :: SubError -> String

showList :: [SubError] -> ShowS

Exception SubError

Defined in Blanks.Sub

Methods

toException :: SubError -> SomeException

fromException :: SomeException -> Maybe SubError

displayException :: SubError -> String

class ThrowSub m where

Methods

throwSub :: SubError -> m a

Instances

ThrowSub Sub

Defined in Blanks.Sub

Methods

throwSub :: SubError -> Sub a

rethrowSub :: (Applicative m, ThrowSub m) => Either SubError a -> m a

runSub :: Sub a -> Either SubError a