Language.Haskell.Liquid.RTick

Documentation

data Tick a

Tick datatype for recording resource usage:

Constructors

Tick

Fields

• tcost :: Int
• tval :: a

Instances

Monad Tick

Defined in Language.Haskell.Liquid.RTick

Methods

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

(>>) :: Tick a -> Tick b -> Tick b

return :: a -> Tick a

Functor Tick

Primitive resource operators:

Defined in Language.Haskell.Liquid.RTick

Methods

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

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

Applicative Tick

Defined in Language.Haskell.Liquid.RTick

Methods

pure :: a -> Tick a

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

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

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

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

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

pure :: a -> Tick a

(<*>) :: Tick (a -> b) -> Tick a -> Tick b infixl 4

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

return :: a -> Tick a

(>>=) :: Tick a -> (a -> Tick b) -> Tick b infixl 4

(=<<) :: (a -> Tick b) -> Tick a -> Tick b infixl 4

eqBind :: Int -> Tick a -> (a -> Tick b) -> Tick b

leqBind :: Int -> Tick a -> (a -> Tick b) -> Tick b

geqBind :: Int -> Tick a -> (a -> Tick b) -> Tick b

ap :: Tick (a -> b) -> Tick a -> Tick b

liftM :: (a -> b) -> Tick a -> Tick b

liftM2 :: (a -> b -> c) -> Tick a -> Tick b -> Tick c

step :: Int -> Tick a -> Tick a

Resource modifiers:

wait :: a -> Tick a

waitN :: Int -> a -> Tick a

go :: a -> Tick a

goN :: Int -> a -> Tick a

wmap :: (a -> b) -> Tick a -> Tick b

wmapN :: Int -> (a -> b) -> Tick a -> Tick b

gmap :: (a -> b) -> Tick a -> Tick b

gmapN :: Int -> (a -> b) -> Tick a -> Tick b

(</>) :: Tick (a -> b) -> Tick a -> Tick b infixl 4

(<//>) :: Tick (a -> b) -> Tick a -> Tick b infixl 4

(<\>) :: Tick (a -> b) -> Tick a -> Tick b infixl 4

(<\\>) :: Tick (a -> b) -> Tick a -> Tick b infixl 4

(>/=) :: Tick a -> (a -> Tick b) -> Tick b infixl 4

(=/<) :: (a -> Tick b) -> Tick a -> Tick b infixl 4

(>//=) :: Tick a -> (a -> Tick b) -> Tick b infixl 4

(=//<) :: (a -> Tick b) -> Tick a -> Tick b infixl 4

(>\=) :: Tick a -> (a -> Tick b) -> Tick b infixl 4

(=\<) :: (a -> Tick b) -> Tick a -> Tick b infixl 4

(>\\=) :: Tick a -> (a -> Tick b) -> Tick b infixl 4

(=\\<) :: (a -> Tick b) -> Tick a -> Tick b infixl 4

pay :: Int -> Tick a -> Tick (Tick a)

Memoisation:

zipWithM :: (a -> b -> Tick c) -> Tick a -> Tick b -> Tick c