$Flow$ModuleRef

.flowconfig

[ignore]

[include]

[libs]

[lints]

[options]
module.system=haste
module.system.haste.module_ref_prefix=m#

[strict]

a.js

// @flow

declare export var str1: 'str1'

export function sayHi(name: string) {
  console.log('hi, ' + name)
}

b.js

// @flow

declare export var str2: 'str2'

c.js

// @flow

export function sayHi(name: string) {
  console.log('hello, ' + name)
}

flow-moduleref.js

// @flow

declare function requireMany<T>(T)
  : $TupleMap<T, <M>($Flow$ModuleRef<M>) => M>

const t = requireMany(['m#./a', 'm#./b'])

const a = t[0] // {| +sayHi: (name: string) => void, +str1: "str1" |}
const b = t[1] // {| +str2: "str2" |}

// ---

interface HiModule {
  +sayHi: string => void
}

declare function requireHi<M: HiModule>($Flow$ModuleRef<M>): M
// or:
// declare function requireHi<M: { sayHi: string => void, ... }>($Flow$ModuleRef<M>): M

const h1 = requireHi('m#./a') // ok
const h2 = requireHi('m#./b') // error
const h3 = requireHi('m#./c') // ok