git.iko.soy/rowtype-yoga/yoga-r3f
on main help sign in
1 line 2.8 kB history raw
1{"comments":"This module defines the `Exchange` profunctor\n","declarations":[{"children":[{"comments":null,"info":{"arguments":[{"annotation":[],"contents":{"annotation":[],"contents":[{"annotation":[],"contents":[{"annotation":[],"contents":[["Prim"],"Function"],"tag":"TypeConstructor"},{"annotation":[],"contents":"s","tag":"TypeVar"}],"tag":"TypeApp"},{"annotation":[],"contents":"a","tag":"TypeVar"}],"tag":"TypeApp"},"tag":"ParensInType"},{"annotation":[],"contents":{"annotation":[],"contents":[{"annotation":[],"contents":[{"annotation":[],"contents":[["Prim"],"Function"],"tag":"TypeConstructor"},{"annotation":[],"contents":"b","tag":"TypeVar"}],"tag":"TypeApp"},{"annotation":[],"contents":"t","tag":"TypeVar"}],"tag":"TypeApp"},"tag":"ParensInType"}],"declType":"dataConstructor"},"sourceSpan":{"end":[9,33],"name":".spago/p/profunctor-lenses-8.0.0/src/Data/Lens/Internal/Exchange.purs","start":[9,23]},"title":"Exchange"},{"comments":null,"info":{"declType":"instance","dependencies":[],"type":{"annotation":[],"contents":[{"annotation":[],"contents":[["Data","Functor"],"Functor"],"tag":"TypeConstructor"},{"annotation":[],"contents":[{"annotation":[],"contents":[{"annotation":[],"contents":[{"annotation":[],"contents":[["Data","Lens","Internal","Exchange"],"Exchange"],"tag":"TypeConstructor"},{"annotation":[],"contents":"a","tag":"TypeVar"}],"tag":"TypeApp"},{"annotation":[],"contents":"b","tag":"TypeVar"}],"tag":"TypeApp"},{"annotation":[],"contents":"s","tag":"TypeVar"}],"tag":"TypeApp"}],"tag":"TypeApp"}},"sourceSpan":{"end":[12,46],"name":".spago/p/profunctor-lenses-8.0.0/src/Data/Lens/Internal/Exchange.purs","start":[11,1]},"title":"functorExchange"},{"comments":null,"info":{"declType":"instance","dependencies":[],"type":{"annotation":[],"contents":[{"annotation":[],"contents":[["Data","Profunctor"],"Profunctor"],"tag":"TypeConstructor"},{"annotation":[],"contents":[{"annotation":[],"contents":[{"annotation":[],"contents":[["Data","Lens","Internal","Exchange"],"Exchange"],"tag":"TypeConstructor"},{"annotation":[],"contents":"a","tag":"TypeVar"}],"tag":"TypeApp"},{"annotation":[],"contents":"b","tag":"TypeVar"}],"tag":"TypeApp"}],"tag":"TypeApp"}},"sourceSpan":{"end":[15,58],"name":".spago/p/profunctor-lenses-8.0.0/src/Data/Lens/Internal/Exchange.purs","start":[14,1]},"title":"profunctorExchange"}],"comments":"The `Exchange` profunctor characterizes an `Iso`.\n","info":{"dataDeclType":"data","declType":"data","roles":["Representational","Representational","Representational","Representational"],"typeArguments":[["a",null],["b",null],["s",null],["t",null]]},"kind":null,"sourceSpan":{"end":[9,51],"name":".spago/p/profunctor-lenses-8.0.0/src/Data/Lens/Internal/Exchange.purs","start":[9,1]},"title":"Exchange"}],"name":"Data.Lens.Internal.Exchange","reExports":[]}