Satyros.BellmanFord.Effect

Documentation

newtype BellmanFord a

Constructors

BellmanFord

Fields

• runBellmanFord :: FreeT BellmanFordF (State Storage) 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 Storage BellmanFord

Defined in Satyros.BellmanFord.Effect

Methods

get :: BellmanFord Storage

put :: Storage -> BellmanFord ()

state :: (Storage -> (a, Storage)) -> 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

Generic (BellmanFord a)

Defined in Satyros.BellmanFord.Effect

Associated Types

type Rep (BellmanFord a) :: Type -> Type

Methods

from :: BellmanFord a -> Rep (BellmanFord a) x

to :: Rep (BellmanFord a) x -> BellmanFord a

Generic1 BellmanFord

Defined in Satyros.BellmanFord.Effect

Associated Types

type Rep1 BellmanFord :: k -> Type

Methods

from1 :: forall (a :: k). BellmanFord a -> Rep1 BellmanFord a

to1 :: forall (a :: k). Rep1 BellmanFord a -> BellmanFord a

type Rep (BellmanFord a)

Defined in Satyros.BellmanFord.Effect

type Rep (BellmanFord a) = D1 ('MetaData "BellmanFord" "Satyros.BellmanFord.Effect" "satyros-0.3.1.4-3YwMxGnZD0k1OVgpDx5SHB" 'True) (C1 ('MetaCons "BellmanFord" 'PrefixI 'True) (S1 ('MetaSel ('Just "runBellmanFord") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (FreeT BellmanFordF (State Storage) a))))

type Rep1 BellmanFord

Defined in Satyros.BellmanFord.Effect

type Rep1 BellmanFord = D1 ('MetaData "BellmanFord" "Satyros.BellmanFord.Effect" "satyros-0.3.1.4-3YwMxGnZD0k1OVgpDx5SHB" 'True) (C1 ('MetaCons "BellmanFord" 'PrefixI 'True) (S1 ('MetaSel ('Just "runBellmanFord") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 (FreeT BellmanFordF (State Storage)))))

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

data BellmanFordF r

Constructors

PropagationCheck (IDLGraphVertex, IDLGraphVertex) r

PropagationFindShorter IDLGraphVertex (IDLGraphVertex, Int) 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

Generic (BellmanFordF r)

Defined in Satyros.BellmanFord.Effect

Associated Types

type Rep (BellmanFordF r) :: Type -> Type

Methods

from :: BellmanFordF r -> Rep (BellmanFordF r) x

to :: Rep (BellmanFordF r) x -> BellmanFordF r

Generic1 BellmanFordF

Defined in Satyros.BellmanFord.Effect

Associated Types

type Rep1 BellmanFordF :: k -> Type

Methods

from1 :: forall (a :: k). BellmanFordF a -> Rep1 BellmanFordF a

to1 :: forall (a :: k). Rep1 BellmanFordF a -> BellmanFordF a

type Rep (BellmanFordF r)

Defined in Satyros.BellmanFord.Effect

type Rep (BellmanFordF r) = D1 ('MetaData "BellmanFordF" "Satyros.BellmanFord.Effect" "satyros-0.3.1.4-3YwMxGnZD0k1OVgpDx5SHB" 'False) ((C1 ('MetaCons "PropagationCheck" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (IDLGraphVertex, IDLGraphVertex)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 r)) :+: (C1 ('MetaCons "PropagationFindShorter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IDLGraphVertex) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (IDLGraphVertex, Int)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 r))) :+: C1 ('MetaCons "PropagationNth" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 r)))) :+: ((C1 ('MetaCons "PropagationEnd" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NegativeCycleCheck" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (IDLGraphVertex, IDLGraphVertex)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 r))) :+: (C1 ('MetaCons "NegativeCycleFind" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Expressed])) :+: C1 ('MetaCons "NegativeCyclePass" 'PrefixI 'False) (U1 :: Type -> Type))))

type Rep1 BellmanFordF

Defined in Satyros.BellmanFord.Effect

type Rep1 BellmanFordF = D1 ('MetaData "BellmanFordF" "Satyros.BellmanFord.Effect" "satyros-0.3.1.4-3YwMxGnZD0k1OVgpDx5SHB" 'False) ((C1 ('MetaCons "PropagationCheck" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (IDLGraphVertex, IDLGraphVertex)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1) :+: (C1 ('MetaCons "PropagationFindShorter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IDLGraphVertex) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (IDLGraphVertex, Int)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1)) :+: C1 ('MetaCons "PropagationNth" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))) :+: ((C1 ('MetaCons "PropagationEnd" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NegativeCycleCheck" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (IDLGraphVertex, IDLGraphVertex)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1)) :+: (C1 ('MetaCons "NegativeCycleFind" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Expressed])) :+: C1 ('MetaCons "NegativeCyclePass" 'PrefixI 'False) (U1 :: Type -> Type))))

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

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

propagationNth :: Int -> BellmanFord ()

propagationEnd :: BellmanFord ()

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

negativeCycleFind :: [Expressed] -> BellmanFord ()

negativeCyclePass :: BellmanFord ()