Satyros.BellmanFord.Effect

Documentation

type BellmanFordStore = IDLWeightMap

newtype BellmanFord a

Constructors

BellmanFord

Fields

• runBellmanFord :: FreeT BellmanFordF (State BellmanFordStore) a

Instances

Monad BellmanFord

Defined in Satyros.BellmanFord.Effect

Methods

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

(>>) :: BellmanFord a -> BellmanFord b -> BellmanFord b

return :: a -> BellmanFord a

Functor BellmanFord

Defined in Satyros.BellmanFord.Effect

Methods

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

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

Applicative BellmanFord

Defined in Satyros.BellmanFord.Effect

Methods

pure :: a -> BellmanFord a

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

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

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

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

Show1 BellmanFord

Defined in Satyros.BellmanFord.Effect

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> BellmanFord a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [BellmanFord a] -> ShowS

MonadState BellmanFordStore BellmanFord

Defined in Satyros.BellmanFord.Effect

Methods

get :: BellmanFord BellmanFordStore

put :: BellmanFordStore -> BellmanFord ()

state :: (BellmanFordStore -> (a, BellmanFordStore)) -> BellmanFord a

MonadFree BellmanFordF BellmanFord

Defined in Satyros.BellmanFord.Effect

Methods

wrap :: BellmanFordF (BellmanFord a) -> BellmanFord a

Show a => Show (BellmanFord a)

Defined in Satyros.BellmanFord.Effect

Methods

showsPrec :: Int -> BellmanFord a -> ShowS

show :: BellmanFord a -> String

showList :: [BellmanFord a] -> ShowS

stepBellmanFord :: BellmanFord a -> BellmanFordStore -> (FreeF BellmanFordF a (BellmanFord a), BellmanFordStore)

data BellmanFordF r

Constructors

PropagationCheck (IDLGraphVertex, IDLGraphVertex) r

PropagationFindShorter IDLGraphVertex (IDLGraphVertex, PositiveInfiniteInt) r

PropagationNth Int r

PropagationEnd

NegativeCycleCheck (IDLGraphVertex, IDLGraphVertex) r

NegativeCycleFind [Expressed]

NegativeCyclePass

Instances

Functor BellmanFordF

Defined in Satyros.BellmanFord.Effect

Methods

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

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

Show1 BellmanFordF

Defined in Satyros.BellmanFord.Effect

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> BellmanFordF a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [BellmanFordF a] -> ShowS

MonadFree BellmanFordF BellmanFord

Defined in Satyros.BellmanFord.Effect

Methods

wrap :: BellmanFordF (BellmanFord a) -> BellmanFord a

Show r => Show (BellmanFordF r)

Defined in Satyros.BellmanFord.Effect

Methods

showsPrec :: Int -> BellmanFordF r -> ShowS

show :: BellmanFordF r -> String

showList :: [BellmanFordF r] -> ShowS

propagationCheck :: (IDLGraphVertex, IDLGraphVertex) -> BellmanFord ()

propagationFindShorter :: IDLGraphVertex -> (IDLGraphVertex, PositiveInfiniteInt) -> BellmanFord ()

propagationNth :: Int -> BellmanFord ()

propagationEnd :: BellmanFord ()

negativeCycleCheck :: (IDLGraphVertex, IDLGraphVertex) -> BellmanFord ()

negativeCycleFind :: [Expressed] -> BellmanFord ()

negativeCyclePass :: BellmanFord ()