Fib

Documentation

data Fib a

Constructors

Fib a a

Instances

Monad Fib

Defined in Fib

Methods

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

(>>) :: Fib a -> Fib b -> Fib b

return :: a -> Fib a

fail :: String -> Fib a

Functor Fib

Defined in Fib

Methods

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

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

Applicative Fib

Defined in Fib

Methods

pure :: a -> Fib a

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

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

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

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

Foldable Fib

Defined in Fib

Methods

fold :: Monoid m => Fib m -> m

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

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

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

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

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

foldr1 :: (a -> a -> a) -> Fib a -> a

foldl1 :: (a -> a -> a) -> Fib a -> a

toList :: Fib a -> [a]

null :: Fib a -> Bool

length :: Fib a -> Int

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

maximum :: Ord a => Fib a -> a

minimum :: Ord a => Fib a -> a

sum :: Num a => Fib a -> a

product :: Num a => Fib a -> a

Traversable Fib

Defined in Fib

Methods

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

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

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

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

Show a => Show (Fib a)

Defined in Fib

Methods

showsPrec :: Int -> Fib a -> ShowS

show :: Fib a -> String

showList :: [Fib a] -> ShowS

Semiring a => Semiring (Fib a)

Defined in Fib

Methods

plus :: Fib a -> Fib a -> Fib a

zero :: Fib a

times :: Fib a -> Fib a -> Fib a

one :: Fib a

fromNatural :: Natural -> Fib a

Ring a => Ring (Fib a)

Defined in Fib

Methods

negate :: Fib a -> Fib a

phi :: Semiring a => Fib a

fib :: Ring a => Integer -> a