AlphaGitHub
Source/Packages

Learning.Transition

packages/learning/src/Learning/Transition.alpha

72 lines15 declarations2.6 KiBSHA-256 23ecfffa83db
Download exact fileView at revisionbcc11a4e7647d31628

family · lines 26–33

LearningTransition

Full file
26family LearningTransition : Type 0
27parameter erased transitionState : Type 0
28parameter erased transitionInput : Type 0
29parameter erased transitionOutput : Type 0
30constructor LearningTransitionOf
31field unrestricted transitionMode : (family LearningTransformation)
32field unrestricted transitionReplay : (family TransitionReplay)
33field unrestricted transitionStep : (pi unrestricted state : transitionState . (pi unrestricted input : transitionInput . transitionOutput))

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.